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 16 ofertasEUR 8,40
-
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 7 ofertasEUR 144,94
Encuentra también
Nuevos -
Automated Reasoning: First International Joint Conference, IJCAR 2001 Siena, Italy, June 18-23, 2001 Proceedings
Tobias Nipkow
Precios de los artículos a partir de
Ver 16 ofertasEUR 60,84
