First-Order Schemata and Inductive Proof Analysis
171,19 € (inkl. MwSt.)
159,99 € (zzgl. MwSt.)
- Verlag: Palgrave Macmillan
- ISBN: 978-3-032-05740-2 (Buch)
- Erscheinungstermin: 03.01.2026
-
Lieferzeit ca. 10 Werktage
171,19 € (inkl. MwSt.)
159,99 € (zzgl. MwSt.)
Proof Assistants and Their Applications in Mathematics and Computer Science
80,24 € (inkl. MwSt.)
74,99 € (zzgl. MwSt.)
- Verlag: Springer International Publishing AG
- ISBN: 978-3-031-85189-6 (Buch)
- Erscheinungstermin: 09.01.2027
-
Vorbestellbar
80,24 € (inkl. MwSt.)
74,99 € (zzgl. MwSt.)
- |
- 1