The IJCAR ATP System Competition.

Geoff Sutcliffe Christian B. Suttner Francis Jeffry Pelletier

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

Keyphrases

automated theorem proving
theorem prover
international competition
neural network
database systems
mobile devices
special case
logic programming