KIT | KIT-Bibliothek | Impressum

Algorithmic theories and context

Ballarin, Clemens; Calmet, Jacques



Zugehörige Institution(en) am KIT Institut für Algorithmen und Kognitive Systeme (IAKS)
Publikationstyp Buchaufsatz
Jahr 2000
Sprache Englisch
Identifikator KITopen ID: 31542000
Erscheinungsvermerk In: Proceedings of the CADE-17 Workshop on Automated Deduction in the Context of Mathematics, Pittsburgh, PA 2000. S. 46-49.
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page