Evaluating general purpose automated theorem proving systems.

Geoff Sutcliffe Christian B. Suttner

Published in: Artif. Intell. (2001)

Keyphrases

general purpose
automated theorem proving
distributed systems
management system
theorem prover
application specific
special purpose
neural network
web services
database systems
programming language
building blocks
first order logic