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
IOS Press 2009
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
  • print: ROB a2 2001:1 3.Ex
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