KIT | KIT-Bibliothek | Impressum

Design and implementation of symbolic computation systems. International Symposium, DISCO'96, Karlsruhe 1996. Proceedings

Calmet, Jacques; Limongelli, C.; [Hrsg.]



Zugehörige Institution(en) am KIT Institut für Algorithmen und Kognitive Systeme (IAKS)
Publikationstyp Proceedingsband
Jahr 1996
Sprache Englisch
Identifikator KITopen ID: 214996
Erscheinungsvermerk Berlin 1996. (Lecture notes in computer science. 1128.)
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page