Alexander Leitsch
Articles populaires de Alexander Leitsch
Afficher toutes les offres-
The Resolution Calculus
Leitsch, Alexander
Prix des articles à partir de
Afficher les 16 offresEUR 11,30
-
Automated Reasoning: First International Joint Conference, IJCAR 2001 Siena, Italy, June 18-23, 2001 Proceedings
Nipkow, Tobias; Leitsch, Alexander; Gore, Rajeev
Prix des articles à partir de
Afficher les 17 offresEUR 59,50
-
First-order Schemata and Inductive Proof Analysis
Leitsch, Alexander; Cerna, David Michael; Lolic, Anela
Prix des articles à partir de
Afficher les 13 offresEUR 143,62
Rechercher également
Neuf
