KIT | KIT-Bibliothek | Impressum

Typing for specification in computer algebra

Zenger, Christoph



Zugehörige Institution(en) am KIT Institut für Algorithmen und Kognitive Systeme (IAKS)
Publikationstyp Buchaufsatz
Jahr 1996
Sprache Englisch
Identifikator KITopen ID: 214796
Erscheinungsvermerk In: Proceedings of the 5th Rhine Workshop on Computer Algebra, Saint-Louis, France 1996. Saint-Louis : Inst. Franco-Allem. de Rech. de Saint-Louis 1996. S. 26.1-26.4. (PR. 801.)
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page