KIT | KIT-Bibliothek | Impressum

Computer algebra and computer aided systems theory

Beth, Thomas; Clausen, Michael; Gollmann, Dieter



Zugehörige Institution(en) am KIT Institut für Algorithmen und Kognitive Systeme (IAKS)
Publikationstyp Buchaufsatz
Jahr 1990
Sprache Englisch
Identifikator KITopen ID: 3790
Erscheinungsvermerk In: Proceedings. EUROCAST 89, Las Palmas. Berlin 1990. S. 161-169. (Lecture notes of computer science. 410.)
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page