The FAUST - Prover.

Klaus Schneider Ramayya Kumar Thomas Kropf

Published in: CADE (1992)

Keyphrases

theorem proving
theorem prover
automated theorem proving
machine learning
high level
proof search
general purpose
inference rules