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

A knowledge-based type system for computer algebra

Tjandra, Indra Adion; 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: 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