KIT | KIT-Bibliothek | Impressum | Datenschutz

A knowledge-based type system for computer algebra

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


Volltext §
DOI: 10.5445/IR/250094
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 1994
Sprache Englisch
Identifikator urn:nbn:de:swb:90-AAA2500940
KITopen-ID: 250094
Erscheinungsvermerk In: Proceedings of the Rhine Workshop on Computer Algebra, Karlsruhe 1994. Ed.: J. Calmet. 1994. S. 60-66.
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page