Knygos pagal Alexander Leitsch
Automated Model Building
Nicolas Peltier, Ricardo Caferra, Alexander Leitsch
-25% su kodu BOOKS
Turime sandėlyje pas mūsų tiekėją
Methods of Cut-Elimination
Alexander Leitsch, Matthias Baaz
-25% su kodu BOOKS
Turime sandėlyje pas mūsų tiekėją
Automated Model Building
Nicolas Peltier, Ricardo Caferra, Alexander Leitsch
-25% su kodu BOOKS
Turime sandėlyje pas mūsų tiekėją
Methods of Cut-Elimination
Alexander Leitsch, Matthias Baaz
-25% su kodu BOOKS
Turime sandėlyje pas mūsų tiekėją
First-Order Schemata and Inductive Proof Analysis
David Michael Cerna, Alexander Leitsch, Anela Lolic
-25% su kodu BOOKS
Turime sandėlyje pas mūsų tiekėją