Alexander Leitsch
Articles populaires de Alexander Leitsch
Afficher toutes les offres-
The Resolution Calculus
Leitsch, Alexander
Prix des articles à partir de
Afficher les 18 offresEUR 12,00
-
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 10 offresEUR 42,58
-
First-order Schemata and Inductive Proof Analysis
Leitsch, Alexander; Cerna, David Michael; Lolic, Anela
Prix des articles à partir de
Afficher les 9 offresEUR 134,27
Rechercher également
Neuf
