Cervesato, Iliano:
A linear logical framework.
Tech. Hochschule, Darmstadt
[Buch], (1996)
| Typ des Eintrags: | Buch |
|---|---|
| Erschienen: | 1996 |
| Autor(en): | Cervesato, Iliano |
| Titel: | A linear logical framework |
| Sprache: | Englisch |
| Band: | 1835 |
| Ort: | Darmstadt |
| Verlag: | Tech. Hochschule |
| Edition: | Darmstadt: Tech. Hochschule, FB Mathematik, 1996. 12 S. |
| Kollation: | 12 S |
| Fachbereich(e)/-gebiet(e): | Fachbereich Mathematik |
| Hinterlegungsdatum: | 19 Nov 2008 15:59 |
| Export: |
Optionen (nur für Redakteure)
 |
Eintrag anzeigen |
Drucken
Impressum