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,40
-
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 16 offresEUR 58,95
-
First-order Schemata and Inductive Proof Analysis
Leitsch, Alexander; Cerna, David Michael; Lolic, Anela
Prix des articles à partir de
Afficher les 12 offresEUR 168,37
Rechercher également
Neuf
