Title: Symbolic logic and mechanical theorem proving
First published: 1973
Subjects: Logic, Symbolic and mathematical, Symbolic and mathematical Logic, Artificial intelligence, Automatic theorem proving, Logique symbolique et mathématique, Intelligence artificielle, Théorèmes, Démonstration automatique
LC classification: BC135