TU Darmstadt / ULB / TUbiblio

The practice of logical framework

Pfenning, Frank:
The practice of logical framework.
Techn. Hochschule, Darmstadt
[Buch], (1996)

Typ des Eintrags: Buch
Erschienen: 1996
Autor(en): Pfenning, Frank
Titel: The practice of logical framework
Sprache: Englisch
Band: 1813
Ort: Darmstadt
Verlag: Techn. Hochschule
Edition: Darmstadt: Techn. Hochschule, FB Mathematik, 1996. 16 S.
Kollation: 16 S
Fachbereich(e)/-gebiet(e): Fachbereich Mathematik
Hinterlegungsdatum: 19 Nov 2008 15:59
Export:

Optionen (nur für Redakteure)

Eintrag anzeigen Eintrag anzeigen