Automatisierung von Terminierungsbeweisen
| Zugehörige Institution(en) am KIT | Fakultät für Informatik (INFORMATIK) |
| Publikationstyp | Buch |
| Publikationsjahr | 1991 |
| Sprache | Deutsch |
| Identifikator | KITopen-ID: 3291 |
| Erscheinungsvermerk | Braunschweig 1991. (Kuenstliche Intelligenz.) Fak. f. Informatik, Habil.-Schr. v. 2.5.1990. |