Type Theory and Formal Proof
| Autor: | Geuvers, Herman Nederpelt, Rob |
|---|---|
| EAN: | 9781107036505 |
| Sachgruppe: | Informatik, EDV |
| Sprache: | Englisch |
| Seitenzahl: | 466 |
| Produktart: | Gebunden |
| Veröffentlichungsdatum: | 14.03.2016 |
94,60 €*
Die Verfügbarkeit wird nach ihrer Bestellung bei uns geprüft.
Bücher sind in der Regel innerhalb von 1-2 Werktagen abholbereit.
A gentle introduction for graduate students and researchers in the art of formalizing mathematics on the basis of type theory.
Weitere Produkte vom selben Autor