Automatisierung von Terminierungsbeweisen
Braunschweig: Vieweg, 1991
Monographie, Hochschulschrift, Gedruckte Ressource
- IX, 253 S.
Zugriff:
Ermittle Ausleihstatus...
Titel: |
Automatisierung von Terminierungsbeweisen
|
---|---|
Verantwortlichkeitsangabe: | Christoph Walther |
Autor/in / Beteiligte Person: | Walther, Christoph (1950-) |
Verwandtes Werk: | |
Veröffentlichung: | Braunschweig: Vieweg, 1991 |
Medientyp: | Monographie, Hochschulschrift |
Datenträgertyp: | Gedruckte Ressource |
Umfang: | IX, 253 S. |
ISBN: | 3528047712 kart. : DM 68.00 |
Schlagwort: |
|
Sonstiges: |
|