-
Automating Reasoning
-
Baader, Franz and Nipkow, Tobias
Term rewriting and all that
Cambridge Univ. Press
1998
BAA f 1998:1 1.Ex
-
Biere, Armin
Handbook of satisfiability
IOS Press
2009
BIE a2 2009:1 1.Ex
-
Fitting, Melvin
First-order logic and automated theorem proving
Springer
1996
FIT m 1996:1 1.Ex
-
Robinson, Alan
Handbook of automated reasoning - Band 1
North Holland
2001
ROB a2 2001:1 3.Ex
-
Robinson, Alan
Handbook of automated reasoning - Band 2
North Holland
2001
ROB a2 2001:2 1.Ex
-
Schöning, Uwe
Logik für Informatiker
Spektrum
2000
SchÖN u 2000:1 1.Ex
|