-
25.02.2013This is the first book on cut-elimination in first-order predicate logic from an algorithmic poin...
-
05.12.2010
On the history of the book: In the early 1990s several new methods and perspectives in au- mated ...
-
13.08.1993
The Third Kurt G|del Symposium, KGC'93, held in Brno, CzechRepublic, August1993, is the third in ...
-
28.09.2011
The History of the Book In August 1992 the author had the opportunity to give a course on resolut...
-
13.08.1997
This book constitutes the refereed proceedings of the 5th Kurt Gödel Colloquium on Computational ...
-
17.01.2011
This is the first book on cut-elimination in first-order predicate logic from an algorithmic poin...
-
06.06.2001
The last ten years have seen a gradual fragmentation of the Automated Reas- ing community into va...
-
13.09.2004
This is the first book on automated model building, a discipline of automated deduction that is o...
GebundenUnser bisheriger Preis:ORGPRICE: 197,94 €
Jetzt 182,50 €Besorgungstitel - wird vorgemerktAlle Preise inkl. MwSt | Versandkostenfrei
- 1