KIT | KIT-Bibliothek | Impressum

Integration of deduction and computation

Calmet, Jacques; Ballarin, Clemens; Kullmann, Peter



Zugehörige Institution(en) am KIT Institut für Algorithmen und Kognitive Systeme (IAKS)
Publikationstyp Buchaufsatz
Jahr 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