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