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
  • print: BAA f 1999:1 1.Ex
no image available Biere, Armin
Handbook of satisfiability
IOS Press 2009
  • print: BIE a2 2009:1 1.Ex
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
  • print: SchÖN u 2013:1 1.Ex