The Design of the CADE-16 Inductive Theorem Prover Contest.

Dieter Hutter Alan Bundy

Published in: CADE (1999)

Keyphrases

theorem prover
case study
theorem proving
automated reasoning
first order logic
engineering design
machine learning
natural language
knowledge representation
design process