Conclusions about the CADE-13 ATP System Competition.

Francis Jeffry Pelletier Geoff Sutcliffe Christian B. Suttner

Published in: J. Autom. Reason. (1997)

Keyphrases

automated theorem proving
cooperative
theorem proving
databases
machine learning
learning algorithm
search engine
evolutionary algorithm
knowledge representation