Browse
FAQ

Author

Alexander Leitsch

5 books found

Cover of Methods of Cut-Elimination

Methods of Cut-Elimination

Alexander Leitsch · First published 2011

Cover of The Resolution Calculus

The Resolution Calculus

Alexander Leitsch · First published 1997 · Latest edition 2011

Cover of Automated Model Building

Automated Model Building

Ricardo Caferra, Alexander Leitsch, Nicolas Peltier · First published 2004

Cover of Automated reasoning

Automated reasoning

Alexander Leitsch, Tobias Nipkow · First published 2001

Cover of Computational logic and proof theory

Computational logic and proof theory

Kurt Gödel Colloquium (3rd 1993 Brno, Czech Republic), Georg Gottlob, Alexander Leitsch · First published 1993