Alexander Leitsch
Articoli popolari di Alexander Leitsch
Visualizza tutte le offerte-
The Resolution Calculus
Leitsch, Alexander
Prezzi articolo a partire da
Visualizza 16 offerteEUR 11,30
-
Automated Reasoning: First International Joint Conference, IJCAR 2001 Siena, Italy, June 18-23, 2001 Proceedings: 2083
Nipkow, Tobias; Leitsch, Alexander; Gore, Rajeev
Prezzi articolo a partire da
Visualizza 17 offerteEUR 59,18
-
First-order Schemata and Inductive Proof Analysis
Leitsch, Alexander; Cerna, David Michael; Lolic, Anela
Prezzi articolo a partire da
Visualizza 13 offerteEUR 144,92
Trova anche
Nuovi
