TY  - BOOK
AU  - Fitting,Melvin
TI  - First-Order Logic and Automated Theorem Proving
T2  - Texts in Computer Science Series
SN  - 9781461223603
AV  - QA267-268.5 
U1  - 511.3 
PY  - 1995///
CY  - New York, NY
PB  - Springer
KW  - Automatic theorem proving
KW  - Electronic books
N1  - GRADUATE TEXTS IN COMPUTER SCIENCE -- FIRST-ORDER LOGIC AND AUTOMATED THEOREM PROVING -- Copyright -- Preface -- Preface to the Second Edition -- Contents -- List of Tables -- 1 Background -- 2 Propositional Logic -- 3 Semantic Tableaux and Resolution -- 4 Other Prepositional Proof Procedures -- 5 First-Order Logic -- 6 First-Order Proof Procedures -- 7 Implementing Tableaux and Resolution -- 8 Further First-Order Features -- 9 Equality -- References -- Index
UR  - https://ebookcentral.proquest.com/lib/orpp/detail.action?docID=3077179
ER  -