alexander leitsch
Methods of Cut-Elimination
EbookSofort lieferbarThis book on methods of cut-elimination contains a thorough and rigorous analysis of reductive cu...
Automated Reasoning
EbookSofort lieferbarThis book constitutes the refereed proceedings of the First International Joint Conference on Aut...
The Resolution Calculus
EbookSofort lieferbarThis is a completely new presentation of resolution as a logical calculus and as a basis for comp...
Automated Model Building
EbookSofort lieferbarOn the history of the book: In the early 1990s several new methods and perspectives in au- mated ...
Methods of Cut-Elimination
BuchBezug 11-15This is the first book on cut-elimination in first-order predicate logic from an algorithmic p...
Methods of Cut-Elimination
TaschenbuchBezug 11-15This is the first book on cut-elimination in first-order predicate logic from an algorithmic p...
Automated Reasoning
TaschenbuchBezug 11-15The last ten years have seen a gradual fragmentation of the Automated Reas- ing community into va...
Automated Model Building
TaschenbuchBezug 11-15On the history of the book: In the early 1990s several new methods and perspectives in au- mated ...
Computational Logic and Proof Theory
TaschenbuchBezug 11-15This book constitutes the refereed proceedings of the 5th Kurt Gödel Colloquium on Computational ...
The Resolution Calculus
TaschenbuchBezug 11-15The History of the Book In August 1992 the author had the opportunity to give a course on resolut...
Computational Logic and Proof Theory
TaschenbuchBezug 16-20The Third Kurt G|del Symposium, KGC'93, held in Brno, CzechRepublic, August1993, is the third in ...
- 1