Title: First-order logic and automated theorem proving
First published: 1990
Subjects: Automatic theorem proving, Logic, Symbolic and mathematical, Symbolic and mathematical Logic
LC classification: QA76.9.A96