Alexander Leitsch
Popular items by Alexander Leitsch
View all offers-
The Resolution Calculus (Texts in Theoretical Computer Science. An EATCS Series)
Leitsch, Alexander
Item prices starting from
View 18 offersUS$ 14.62
-
Automated Reasoning: First International Joint Conference, IJCAR 2001 Siena, Italy, June 18-23, 2001 Proceedings
Item prices starting from
View 10 offersUS$ 48.89
-
First-Order Schemata and Inductive Proof Analysis (Computer Science Foundations and Applied Logic)
Leitsch, Alexander; Cerna, David Michael; Lolic, Anela
Item prices starting from
View 9 offersUS$ 163.57
Also find
New
