A new proof of a theorem of Mansour and Sun.

Victor J. W. Guo

Published in: Eur. J. Comb. (2008)

Keyphrases

interactive theorem proving
theorem proving
data sets
learning algorithm
special case
first order logic
geometry theorem proving