KIT | KIT-Bibliothek | Impressum

Automatisierung von Terminierungsbeweisen

Walther, Christoph



Zugehörige Institution(en) am KIT Fakultät für Informatik (INFORMATIK)
Publikationstyp Buch
Jahr 1991
Sprache Deutsch
Identifikator KITopen ID: 3291
Erscheinungsvermerk Braunschweig 1991. (Kuenstliche Intelligenz.) Fak. f. Informatik, Habil.-Schr. v. 2.5.1990.
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page