An Evaluation Based Theorem Prover.

Pierpaolo Degano Franco Sirovich

Published in: IEEE Trans. Pattern Anal. Mach. Intell. (1985)

Keyphrases

theorem prover
automated reasoning
theorem proving
first order logic
automated theorem proving
automated deduction
computer algebra
natural deduction
term rewriting
inference rules
higher order logic
formal proof
boolean algebra
timed automata
predicate calculus
evaluation method
machine learning
proof search