Freunden von diesem Artikel berichten:
Extensional Constructs in Intensional Type Theory - Distinguished Dissertations Martin Hofmann Softcover reprint of the original 1st ed. 1997 edition
Preis
€ 136,49
Bestellware
Lieferdatum: ca. 7. - 15. Jan 2026
Weihnachtsgeschenke können bis zum 31. Januar umgetauscht werden
Zu deiner iMusic Wunschliste hinzufügen
oder
Extensional Constructs in Intensional Type Theory - Distinguished Dissertations
Martin Hofmann
Extensional Constructs in Intensional Type Theory presents a novel approach to the treatment of equality in Martin-Loef type theory (a basis for important work in mechanised mathematics and program verification).
216 pages, biography
| Medien | Bücher Taschenbuch (Buch mit Softcover und geklebtem Rücken) |
| Erscheinungsdatum | 22. September 2011 |
| ISBN13 | 9781447112433 |
| Verlag | Springer London Ltd |
| Seitenanzahl | 216 |
| Maße | 155 × 235 × 12 mm · 331 g |
| Sprache | Englisch |
Weitere Titel von Martin Hofmann
Alle anzeigen
![Cover for Martin Hofmann · A Holistic Approach to Process Optimisation: Tools and Practical Examples to Create Efficient Workflows - Management for Professionals (Taschenbuch) [2021 edition] (2022)](https://imusic.b-cdn.net/images/item/original/995/9783658340995.jpg?martin-hofmann-2022-a-holistic-approach-to-process-optimisation-tools-and-practical-examples-to-create-efficient-workflows-management-for-professionals-taschenbuch&class=scaled&v=1695938097)
![Cover for Martin Hofmann · A Holistic Approach to Process Optimisation: Tools and Practical Examples to Create Efficient Workflows - Management for Professionals (Gebundenes Buch) [2021 edition] (2021)](https://imusic.b-cdn.net/images/item/original/964/9783658340964.jpg?martin-hofmann-2021-a-holistic-approach-to-process-optimisation-tools-and-practical-examples-to-create-efficient-workflows-management-for-professionals-gebundenes-buch&class=scaled&v=1621074733)
![Cover for Martin Hofmann · Prozessoptimierung als ganzheitlicher Ansatz: Mit konkreten Praxisbeispielen fur effiziente Arbeitsablaufe (Taschenbuch) [1. Aufl. 2020 edition] (2019)](https://imusic.b-cdn.net/images/item/original/257/9783658266257.jpg?martin-hofmann-2019-prozessoptimierung-als-ganzheitlicher-ansatz-mit-konkreten-praxisbeispielen-fur-effiziente-arbeitsablaufe-taschenbuch&class=scaled&v=1575891903)
![Cover for Martin Hofmann · Foundations of Software Science and Computational Structures: 14th International Conference, FOSSACS 2011, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Saarbrucken, Germany, March 26--April 3, 2011, Proceed (Taschenbuch) [2011 edition] (2011)](https://imusic.b-cdn.net/images/item/original/045/9783642198045.jpg?martin-hofmann-2011-foundations-of-software-science-and-computational-structures-14th-international-conference-fossacs-2011-held-as-part-of-the-joint-european-conference-on-theory-and-practice-of-software-etaps-2011-saarbrucken-germany-march-26-april-3-201&class=scaled&v=1493486598)
![Cover for Martin Hofmann · Automatentheorie Und Logik (Taschenbuch) [German, 2011 edition] (2011)](https://imusic.b-cdn.net/images/item/original/897/9783642180897.jpg?martin-hofmann-2011-automatentheorie-und-logik-taschenbuch&class=scaled&v=1408480144)
![Cover for Martin Hofmann · Typed Lambda Calculi and Applications: 6th International Conference, TLCA 2003, Valencia, Spain, June 10-12, 2003, Proceedings - Lecture Notes in Computer Science (Taschenbuch) [2003 edition] (2003)](https://imusic.b-cdn.net/images/item/original/326/9783540403326.jpg?martin-hofmann-2003-typed-lambda-calculi-and-applications-6th-international-conference-tlca-2003-valencia-spain-june-10-12-2003-proceedings-lecture-notes-in-computer-science-taschenbuch&class=scaled&v=1493486567)
![Cover for Martin Hofmann · Konzeption Eines Prozessinformations- Und -Managementsystems (Taschenbuch) [1995 edition] (1995)](https://imusic.b-cdn.net/images/item/original/615/9783824461615.jpg?martin-hofmann-1995-konzeption-eines-prozessinformations-und-managementsystems-taschenbuch&class=scaled&v=1493442390)
Alle Titel von Martin Hofmann ansehen ( u. a. Taschenbuch , CD , Gebundenes Buch und Buch )