The Results - of the CADE-13 ATP System Competition.

Geoff Sutcliffe Christian B. Suttner

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

Keyphrases

genetic algorithm
automated theorem proving
neural network
theorem prover
computer vision
relational databases
international competition
digital libraries