KIT | KIT-Bibliothek | Impressum | Datenschutz

Integration of deduction and computation

Calmet, Jacques; Ballarin, Clemens; Kullmann, Peter


Zugehörige Institution(en) am KIT Fakultät für Informatik – Institut für Algorithmen und Kognitive Systeme (IAKS)
Publikationstyp Buchaufsatz
Publikationsjahr 2001
Sprache Englisch
Identifikator KITopen-ID: 30772001
Erscheinungsvermerk In: Proceedings of the International Symposium on Applications of Computer Algebra, ISACA 2000, Goa, India 2000. Ed.: R. Akerkar. New Delhi : Allied Publishers 2001. S. 15-32.
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page