Reading Length
Home
Speed Tests
Login
Alexander Leitsch
Born 1952-01-01
Identifiers
Open Library
OL541038A
Top Subjects
Automatic theorem proving (1)
Artificial intelligence (1)
Philosophy (1)
Architecture (1)
Logic (1)
Design & Drafting (1)
Philosophy / Logic (1)
Books by Alexander Leitsch
Total count: 3
Computational Logic and Proof Theory
Third Kurt Godel Colloquium, Kgc'93, Brno, Czech Republic, August 24-27, 1993 Proceedings (Lecture Notes in Computer Science)
Springer
1993-09-01
The resolution calculus
Springer
1997-01-01
Automated Model Building (Applied Logic Series)
1 edition
Springer
2004-11-03
