この商品を友人に教える:
Extensional Constructs in Intensional Type Theory - Distinguished Dissertations Martin Hofmann Softcover reprint of the original 1st ed. 1997 edition
価格
€ 127,49
税抜
遠隔倉庫からの取り寄せ
発送予定日 年12月19日 - 年12月31日
クリスマスプレゼントは1月31日まで返品可能です
iMusicのウィッシュリストに追加
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
| メディア | 書籍 Paperback Book (ソフトカバーで背表紙を接着した本) |
| リリース済み | 2011年9月22日 |
| ISBN13 | 9781447112433 |
| 出版社 | Springer London Ltd |
| ページ数 | 216 |
| 寸法 | 155 × 235 × 12 mm · 331 g |
| 言語 | 英語 |
すべて表示
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) [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 · Prozessoptimierung als ganzheitlicher Ansatz: Mit konkreten Praxisbeispielen fur effiziente Arbeitsablaufe (Paperback Book) [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-paperback-book&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 (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)
Martin Hofmannのすべてを見る ( 例： Paperback Book , Hardcover Book , CD および Book )