Review of "Automated theorem proving: a logical basis" by D. W. Loveland. North-Holland Publishing Co. 1977.

John C. Cherniavsky

Published in: SIGACT News (1979)

Keyphrases

automated theorem proving
theorem prover
theorem proving
answer set programming
decision procedures
inference rules
artificial intelligence
object oriented
software engineering
rough sets
rule induction
classical logic