Alexander Leitsch
Articoli popolari di Alexander Leitsch
Visualizza tutte le offerte-
The Resolution Calculus
Leitsch, Alexander
Prezzi articolo a partire da
Visualizza 15 offerteEUR 11,90
-
Automated Reasoning: First International Joint Conference, IJCAR 2001 Siena, Italy, June 18-23, 2001 Proceedings
Prezzi articolo a partire da
Visualizza 11 offerteEUR 60,15
-
First-order Schemata and Inductive Proof Analysis
Leitsch, Alexander; Cerna, David Michael; Lolic, Anela
Prezzi articolo a partire da
Visualizza 9 offerteEUR 144,94
Trova anche
Nuovi
