AKTUELLE PARTNERANGEBOTE

Extensional Constructs in Intensional Type Theory (Distinguished Dissertations)

Name: Extensional Constructs in Intensional Type Theory (Distinguished Dissertations)
Brand: Martin Hofmann
SKU: 6022897

Brand : Springer, Binding : Taschenbuch, Edition : Softcover reprint of the original 1st ed. 1997, Label : Springer London, Publisher : Springer London, medium : Taschenbuch, numberOfPages : 232, publicationDate : 1997-01-01, authors : Martin Hofmann, ISBN : 1447112431

2 Angebote · ab 139,34 € gemeldete Gesamtkosten

Finde das Produkt,das wirklich zu dir passt.

Extensional Constructs in Intensional Type Theory (Distinguished Dissertations)

Finde das Produkt,
das wirklich zu dir passt.