KIT | KIT-Bibliothek | Impressum

Symbolisches Lösen mathematischer Probleme durch Kooperation algorithmischer und logischer Systeme

Homann, Karsten



Zugehörige Institution(en) am KIT Institut für Algorithmen und Kognitive Systeme (IAKS)
Publikationstyp Hochschulschrift
Jahr 1997
Sprache Deutsch
Identifikator KITopen ID: 5997
Erscheinungsvermerk Sankt Augustin 1997. (Dissertationen zur Künstlichen Intelligenz. 152.) Fak. f. Informatik, Diss. v. 28.6.1996.
Abschlussart Dissertation
Fakultät Fakultät für Informatik (INFORMATIK)
Institut Institut für Algorithmen und Kognitive Systeme (IAKS)
Prüfungsdaten Diss. v. 28.6.1996
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page