Ergebnisse filtern
-
- 5
- 4
-
- 2
- 1
- 1
- 2
- 1
- 2
-
- 3
- 3
- 1
- 1
- 1
-
- 8
- 1
-
- 9
-
- 9
-
- 9
-
Geuvers / Wiedijk Types for Proofs and Programs
Second International Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24-28, 2002, Selected PapersErscheinungsjahr 2003Verlag: SpringerISBN: 978-3-540-39185-2Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar
-
Nederpelt / Geuvers Type Theory and Formal Proof
Erscheinungsjahr 2016Verlag: Cambridge University PressISBN: 978-1-107-03650-5Medium: Buch96,90 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Nederpelt / Geuvers Type Theory and Formal Proof
An IntroductionErscheinungsjahr 2014Verlag: Cambridge University PressISBN: 978-1-316-05634-9Medium: eBookFormat: PDF
Kopierschutz: Adobe DRM (»Systemvoraussetzungen)69,99 € (inkl. MwSt.)
sofort verfügbar
-
Wiedijk / Geuvers Types for Proofs and Programs
Second International Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24-28, 2002, Selected Papers2003Verlag: Springer Berlin HeidelbergISBN: 978-3-540-14031-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Cooper / Geuvers / Pillay Logic Colloquium 2006
Erscheinungsjahr 2009Verlag: Cambridge University PressISBN: 978-0-521-11081-5Medium: Buch159,50 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Van Eekelen / Geuvers / Schmaltz Interactive Theorem Proving
Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011, Proceedings1. Auflage 2011Verlag: SpringerISBN: 978-3-642-22862-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Geuvers / England / Hasan Intelligent Computer Mathematics
10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings1. Auflage 2017Verlag: Springer International PublishingISBN: 978-3-319-62075-6Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar
-
Van Eekelen / Geuvers / Schmaltz Interactive Theorem Proving
Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011, ProceedingsErscheinungsjahr 2011Verlag: SpringerISBN: 978-3-642-22863-6Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar
-
Geuvers / England / Teschke Intelligent Computer Mathematics
10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings1. Auflage 2017Verlag: Springer Nature SwitzerlandISBN: 978-3-319-62074-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort
