Reading Length
Home
Speed Tests
Login
Alexander Leitsch
Identifiers
Open Library
OL7208175A
Top Subjects
Architectural models (1)
Mathematics (1)
Computer science (1)
Symbolic and mathematical Logic (1)
Books by Alexander Leitsch
Total count: 4
Automated Reasoning
First International Joint Conference, IJCAR 2001 Siena, Italy, June 18-23, 2001 Proceedings
Springer
2003-01-01
Automated Model Building
Springer London, Limited
2004-01-01
Methods of Cut-Elimination
Springer Science+Business Media B.V.
2011-01-01
The Resolution Calculus
Springer
2011-09-28
