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

Towards an intelligent mathematical environment - bridging the gap between theorem proving and symbolic mathematical computing

Homann, Karsten; Calmet, Jacques



Zugehörige Institution(en) am KIT Institut für Algorithmen und Kognitive Systeme (IAKS)
Publikationstyp Buchaufsatz
Jahr 1994
Sprache Englisch
Identifikator KITopen ID: 249894
Erscheinungsvermerk In: Proceedings of Workshop from Theorem Provers to Mathematical Assistants, 11th European Conference on Artificial Intelligence (ECAI '94), Amsterdam 1994. Ed.: F. Giunchiglia. 1994. S. 48-53.
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page