Raamatud Alexander Leitsch
Automated Model Building
Nicolas Peltier, Ricardo Caferra, Alexander Leitsch
-25% koodiga BOOKS
Meie tarnija laos
Methods of Cut-Elimination
Alexander Leitsch, Matthias Baaz
-25% koodiga BOOKS
Meie tarnija laos
Automated Model Building
Nicolas Peltier, Ricardo Caferra, Alexander Leitsch
-25% koodiga BOOKS
Meie tarnija laos
Methods of Cut-Elimination
Alexander Leitsch, Matthias Baaz
-25% koodiga BOOKS
Meie tarnija laos
First-Order Schemata and Inductive Proof Analysis
David Michael Cerna, Alexander Leitsch, Anela Lolic
-25% koodiga BOOKS
Meie tarnija laos