Alexander Leitsch
Artículos populares por Alexander Leitsch
Ver todas las ofertas-
The Resolution Calculus (EATCS Monographs in Theoretical Computer Science)
Leitsch, Alexander
Precios de los artículos a partir de
Ver 15 ofertasEUR 11,30
-
Automated Reasoning: First International Joint Conference, IJCAR 2001 Siena, Italy, June 18-23, 2001 Proceedings: 2083 (Lecture Notes in Computer Science, 2083)
Nipkow, Tobias; Leitsch, Alexander; Gore, Rajeev
Precios de los artículos a partir de
Ver 16 ofertasEUR 59,54
-
First-Order Schemata and Inductive Proof Analysis (Computer Science Foundations and Applied Logic)
Leitsch, Alexander; Cerna, David Michael; Lolic, Anela
Precios de los artículos a partir de
Ver 11 ofertasEUR 174,49
Encuentra también
Nuevos
