Extensional Constructs in Intensional Type TheoryMartin Hofmann
Extensional Constructs in Intensional Type Theory
Martin Hofmann · 1997
איפה לקנות
בדקו את המחיר העדכני באמזון. אנחנו לא מציגים מחירים כי הם משתנים מדי יום.
לצפייה באמזוןקישור שותפים. בתור שותפים של Amazon אנחנו מרוויחים מרכישות מתאימות.
פרטי הספר
- שנה
- 1997
- שפה
- English
- סדרה
- CPHC/BCS Distinguished Dissertations
- הוצאה
- Springer London
- מהדורות
- 3
- עמודים
- 216
- ISBN
- 9781447109631
מקור הנתונים: Wikidata
עוד של Martin Hofmann
Powerful ArgumentsMartin Hofmann
Powerful Arguments
Martin Hofmann · 2020
Foundations of Software Science and Computational StructuresMartin Hofmann
Foundations of Software Science and Computational Structures
Martin Hofmann · 2011
Holistic Approach to Process OptimisationMartin Hofmann
Holistic Approach to Process Optimisation
Martin Hofmann · 2021
Prozessoptimierung als ganzheitlicher AnsatzMartin Hofmann
Prozessoptimierung als ganzheitlicher Ansatz
Martin Hofmann · 2019
Corporate Governance-Strukturen Von Special Purpose Acquisition Companies Aus Ökonomischer PerspektiveMartin Hofmann
Corporate Governance-Strukturen Von Special Purpose Acquisition Companies Aus Ökonomischer Perspektive
Martin Hofmann · 2013
Corporate Social Responsibility in AustralienMartin Hofmann
Corporate Social Responsibility in Australien
Martin Hofmann · 2013
Konzeption eines Prozeßinformations- und -managementsystemsMartin Hofmann
Konzeption eines Prozeßinformations- und -managementsystems
Martin Hofmann · 2012
Automatentheorie und LogikMartin Hofmann
Automatentheorie und Logik
Martin Hofmann · 2011
Typed Lambda Calculi and ApplicationsMartin Hofmann
Typed Lambda Calculi and Applications
Martin Hofmann · 2003
Wissensorte in ChinaMartin Hofmann
Wissensorte in China
Martin Hofmann · 2023