Title: Handbook Of Automated Reasoning
Subjects: Automatic theorem proving, Qualitative reasoning, Qa76.9.a96 h35 2001, 511.3, Computer science