The CADE ATP System Competition.

Geoff Sutcliffe Christian B. Suttner

Published in: IJCAR (2004)

Keyphrases

automated theorem proving
theorem prover
machine learning
management system
artificial intelligence
website
medical images
competitive market