Ergebnisse filtern
-
- 2
- 2
-
- 2
- 2
-
- 2
- 1
- 1
-
- 4
-
- 4
-
- 4
-
- 4
-
Avigad Mathematical Logic and Computation
Erscheinungsjahr 2022Verlag: Cambridge University PressISBN: 978-1-108-80076-1Medium: eBookFormat: PDF
Kopierschutz: Adobe DRM (»Systemvoraussetzungen)73,99 € (inkl. MwSt.)
sofort verfügbar -
Avigad Mathematical Logic and Computation
Erscheinungsjahr 2022Verlag: Cambridge University PressISBN: 978-1-108-47875-5Medium: Buch85,00 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Mahboubi / Avigad Interactive Theorem Proving
9th International Conference, ITP 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings1. Auflage 2018Verlag: Springer Nature SwitzerlandISBN: 978-3-319-94820-1Medium: Buch96,29 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Avigad / Mahboubi Interactive Theorem Proving
9th International Conference, ITP 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, ProceedingsErscheinungsjahr 2018Verlag: Springer International PublishingISBN: 978-3-319-94821-8Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark96,29 € (inkl. MwSt.)
sofort verfügbar
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort