Alexander Leitsch
Articoli popolari di Alexander Leitsch
Visualizza tutte le offerte-
The Resolution Calculus
Leitsch, Alexander
Prezzi articolo a partire da
Visualizza 16 offerteEUR 8,40
-
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 15 offerteEUR 61,10
-
First-order Schemata and Inductive Proof Analysis
Leitsch, Alexander; Cerna, David Michael; Lolic, Anela
Prezzi articolo a partire da
Visualizza 7 offerteEUR 144,94
Trova anche
Nuovi
