Inductive Theorem Proving for Design Specification.

Published in: J. Symb. Comput. (1996)

Keyphrases

theorem proving
automatic programming
theorem prover
first order logic
decision procedures
automated reasoning
automated deduction
parallel search
proof planning
machine learning
proof procedure
geometry theorem proving