Ergebnisse filtern
-
- 4
- 3
-
- 1
- 2
- 1
- 2
- 1
-
- 1
- 6
- 7
- 1
- 1
-
- 2
- 1
- 3
- 1
-
- 1
- 6
-
- 7
-
- 7
-
- 7
Zhaohui Luo
-
Chatzikyriakidis / Luo Formal Semantics in Modern Type Theories
1. Auflage 2020Verlag: John Wiley & SonsISBN: 978-1-119-48921-4Medium: eBookFormat: EPUB
Kopierschutz: Adobe DRM (»Systemvoraussetzungen)139,99 € (inkl. MwSt.)
sofort verfügbar -
Luo / Chatzikyriakidis Modern Perspectives in Type-Theoretical Semantics
Softcover Nachdruck of the original 1. Auflage 2017Verlag: Springer International PublishingISBN: 978-3-319-84397-1Medium: Buch117,69 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Luo / Chatzikyriakidis Modern Perspectives in Type-Theoretical Semantics
1. Auflage 2017Verlag: Springer International PublishingISBN: 978-3-319-50420-9Medium: Buch117,69 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Callaghan / Pollack / Luo Types for Proofs and Programs
International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000. Selected Papers2002Verlag: Springer Berlin HeidelbergISBN: 978-3-540-43287-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Chatzikyriakidis / Luo Modern Perspectives in Type-Theoretical Semantics
1. Auflage 2017Verlag: Springer International PublishingISBN: 978-3-319-50422-3Medium: eBookFormat: PDF
Kopierschutz: Wasserzeichen (»Systemvoraussetzungen)106,99 € (inkl. MwSt.)
sofort verfügbar -
Chatzikyriakidis / Luo Formal Semantics in Modern Type Theories
1. Auflage 2020Verlag: John Wiley & SonsISBN: 978-1-119-48922-1Medium: eBookFormat: PDF
Kopierschutz: Adobe DRM (»Systemvoraussetzungen)139,99 € (inkl. MwSt.)
sofort verfügbar -
Chatzikyriakidis / Luo Formal Semantics in Modern Type Theories
Erscheinungsjahr 2021Verlag: WileyISBN: 978-1-78630-128-4Medium: Buch176,50 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort