KIT | KIT-Bibliothek | Impressum | Datenschutz

Hybrid representation for specification and communication of mathematical knowledge

Calmet, Jacques; Homann, Karsten; Tjandra, Indra Adiono


Volltext §
DOI: 10.5445/IR/11997
Cover der Publikation
Zugehörige Institution(en) am KIT Fakultät für Informatik – Institut für Algorithmen und Kognitive Systeme (IAKS)
Publikationstyp Buchaufsatz
Publikationsjahr 1997
Sprache Englisch
Identifikator urn:nbn:de:swb:90-AAA119970
KITopen-ID: 11997
Erscheinungsvermerk In: Proceedings of Workshop on Mathematical Knowledge Representation, European Conference on Artificial Intelligence, ECAI'96, 1996. Ed.: H. Stoyan. S. 1-4.
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page