Kirjat Alexander Leitsch
Automated Model Building
Nicolas Peltier, Ricardo Caferra, Alexander Leitsch
-25% koodilla BOOKS
Toimittajalla varastossa
Methods of Cut-Elimination
Alexander Leitsch, Matthias Baaz
-25% koodilla BOOKS
Toimittajalla varastossa
Automated Model Building
Nicolas Peltier, Ricardo Caferra, Alexander Leitsch
-25% koodilla BOOKS
Toimittajalla varastossa
Methods of Cut-Elimination
Alexander Leitsch, Matthias Baaz
-25% koodilla BOOKS
Toimittajalla varastossa
First-Order Schemata and Inductive Proof Analysis
David Michael Cerna, Alexander Leitsch, Anela Lolic
-25% koodilla BOOKS
Toimittajalla varastossa