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 14 offerteEUR 41,36
-
First-order Schemata and Inductive Proof Analysis
Leitsch, Alexander; Cerna, David Michael; Lolic, Anela
Prezzi articolo a partire da
Visualizza 8 offerteEUR 134,27
Trova anche
Nuovi
