|
Link to the Homepage: Automated Reasoning
| |
Baader, Franz and Nipkow, Tobias Term Rewriting and All That Cambridge Univ. Press 1998 | |
Biere, Armin Handbook of Satisfiability: Part 1 IOS Press 2021 | |
Biere, Armin Handbook of Satisfiability: Part 2 IOS Press 2021 | |
Fitting, Melvin First-Order Logic and Automated Theorem Proving Springer 1996 | |
Robinson, Alan Handbook of Automated Reasoning - Band 1 North Holland 2001 | |
Robinson, Alan Handbook of Automated Reasoning - Band 2 North Holland 2001 | |
Schöning, Uwe Logik für Informatiker Spektrum 2000 | |
Schöning, Uwe and Torán, Jacobo The Satisfiability Problem - Algorithms and Analyses Lehmanns 2013 |