Home > Authors > Alexander Leitsch

Alexander Leitsch

All books by Alexander Leitsch

(Displaying 3 Books)

Automated Model Building

Automated Model Building

Ricardo Caferra

Computational logic and proof theory

Computational logic and proof theory

Kurt Gödel Colloquium (3rd 1993 Brno, Czech Republic)

The resolution calculus

The resolution calculus

Alexander Leitsch

Looking for another book by Alexander Leitsch? Search for the book by title.