This book offers a thorough, rigorous analysis of reductive cut-elimination methods and an in-...

On the history of the book: In the early 1990s several new methods and perspectives in au- mated ...

The History of the Book In August 1992 the author had the opportunity to give a course on resolut...

This is the first book on cut-elimination in first-order predicate logic from an algorithmic p...

This is the first book on cut-elimination in first-order predicate logic from an algorithmic p...

The last ten years have seen a gradual fragmentation of the Automated Reas- ing community into va...

On the history of the book: In the early 1990s several new methods and perspectives in au- mated ...

The History of the Book In August 1992 the author had the opportunity to give a course on resolut...

This book constitutes the refereed proceedings of the 5th Kurt Gödel Colloquium on Computational ...

The Third Kurt G|del Symposium, KGC'93, held in Brno, CzechRepublic, August1993, is the third in ...

This is the first book on automated model building, a discipline of automated deduction that is o...