Alexander Leitsch
Articles populaires de Alexander Leitsch
Afficher toutes les offres-
The Resolution Calculus
Leitsch, Alexander
Prix des articles à partir de
Afficher les 15 offresEUR 46,22
-
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 60,51
-
First-order Schemata and Inductive Proof Analysis
Leitsch, Alexander; Cerna, David Michael; Lolic, Anela
Prix des articles à partir de
Afficher les 7 offresEUR 144,94
Rechercher également
Neuf
