Literature for Automated Reasoning


Link to the Homepage: Automated Reasoning


no image available Baader, Franz and Nipkow, Tobias
Term Rewriting and All That
Cambridge Univ. Press 1998
no image available Biere, Armin
Handbook of Satisfiability:
Part 1

IOS Press 2021
no image available Biere, Armin
Handbook of Satisfiability:
Part 2

IOS Press 2021
no image available Fitting, Melvin
First-Order Logic and Automated Theorem Proving
Springer 1996
no image available Robinson, Alan
Handbook of Automated Reasoning -
Band 1

North Holland 2001
no image available Robinson, Alan
Handbook of Automated Reasoning -
Band 2

North Holland 2001
no image available Schöning, Uwe
Logik für Informatiker
Spektrum 2000
  • print: SchÖN u 2000:1 1.Ex
no image available Schöning, Uwe and Torán, Jacobo
The Satisfiability Problem -
Algorithms and Analyses

Lehmanns 2013