Vinkkaa tuotetta kavereillesi:
Extensional Constructs in Intensional Type Theory - Distinguished Dissertations Softcover reprint of the original 1st ed. 1997 edition
Martin Hofmann
Hinta
zł 595,90
Tilattu etävarastosta
Arvioitu toimitus ke - to 16. - 24. heinä
Lisää iMusic-toivelistallesi
Eller
Extensional Constructs in Intensional Type Theory - Distinguished Dissertations Softcover reprint of the original 1st ed. 1997 edition
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
| Media | Kirjat Paperback Book (Kirja pehmeillä kansilla ja liimatulla selällä) |
| Julkaisupäivämäärä | torstai 22. syyskuuta 2011 |
| ISBN13 | 9781447112433 |
| Tuottaja | Springer London Ltd |
| Sivujen määrä | 216 |
| Mitta | 155 × 235 × 12 mm · 331 g |
| Kieli | English |
Näytä kaikki
Lisää tuotteita Martin Hofmann
![Cover for Martin Hofmann · A Holistic Approach to Process Optimisation: Tools and Practical Examples to Create Efficient Workflows - Management for Professionals (Paperback Book) [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-paperback-book&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 (Hardcover Book) [1st ed. 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-hardcover-book&class=scaled&v=1621074733)
![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 (Paperback Book) [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 (Paperback Book) [German, 2011 edition] (2011)](https://imusic.b-cdn.net/images/item/original/897/9783642180897.jpg?martin-hofmann-2011-automatentheorie-und-logik-paperback-book&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 (Paperback Book) [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-paperback-book&class=scaled&v=1493486567)
![Cover for Martin Hofmann · Konzeption Eines Prozessinformations- Und -Managementsystems (Paperback Book) [1995 edition] (1995)](https://imusic.b-cdn.net/images/item/original/615/9783824461615.jpg?martin-hofmann-1995-konzeption-eines-prozessinformations-und-managementsystems-paperback-book&class=scaled&v=1493442390)
Katso kaikki joka sisältää Martin Hofmann ( Esim. Paperback Book , CD , Hardcover Book Ja Book )