The Procedures of the CADE-13 ATP System Competition.

Geoff Sutcliffe Christian B. Suttner

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

Keyphrases

data mining
automated theorem proving
information retrieval
artificial intelligence
e learning
knowledge base
website
digital libraries
multiresolution
special case