Title: Automated theorem proving
First published: 2001
Subjects: Automatic theorem proving, Computer science, Artificial intelligence
LC classification: QA76.9.A96 N49 2001, QA76.9.A96 N49 2001, QA76.9.A96 N49 2001