KIT | KIT-Bibliothek | Impressum

Eine abstrakte Maschine für das logisch-funktionale Programmieren

Gollner, Michael



Zugehörige Institution(en) am KIT Sonderforschungsbereich 314 (SFB 314)
Institut für Logik, Komplexität und Deduktionssysteme (ILKD)
Publikationstyp Hochschulschrift
Jahr 1996
Sprache Deutsch
Identifikator KITopen ID: 44096
Erscheinungsvermerk Sankt Augustin 1996. (DISKI. Dissertationen zur künstlichen Intelligenz. 129.) Fak. f. Informatik, Diss. v. 16.2.1996.
Abschlussart Dissertation
Fakultät Fakultät für Informatik (INFORMATIK)
Institut Institut für Logik, Komplexität und Deduktionssysteme (ILKD)
Prüfungsdaten Diss. v. 16.2.1996
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page