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:
Volume 1
North Holland 2001
no image available Robinson, Alan
Handbook of automated reasoning:
Volume 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