Otter - The CADE-13 Competition Incarnations.

William McCune Larry Wos

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

Keyphrases

theorem prover
artificial intelligence
cooperative
international competition
database
real time
website
image segmentation
training data
information technology