The CADE-13 ATP System Competition.

Geoff Sutcliffe Christian B. Suttner

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

Keyphrases

automated theorem proving
real time
theorem prover
databases
feature selection
video sequences
machine learning
genetic algorithm
artificial intelligence
image sequences
pattern recognition
medical images
international competition