KIT | KIT-Bibliothek | Impressum
Open Access Logo
§
Volltext
URN: urn:nbn:de:swb:90-AAA3642969

LEMMA or applying AI techniques to computer algebra

Homann, Karsten



Zugehörige Institution(en) am KIT Institut für Algorithmen und Kognitive Systeme (IAKS)
Publikationstyp Buchaufsatz
Jahr 1996
Sprache Englisch
Identifikator KITopen ID: 364296
Erscheinungsvermerk In: Proceedings of the Workshop on Automated Theorem Proving, 13th International Conference on Artificial Intelligence, IJCAI'93, 1993. Ed.: A. Bundy. S. 67.
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page