Erratum: "Mechanical Theorem-Proving by Model Elimination".

Donald W. Loveland

Published in: J. ACM (1969)

Keyphrases

theorem proving
probabilistic model
formal model
theorem prover
inference rules