KIT | KIT-Bibliothek | Impressum | Datenschutz

Combining theorem proving and symbolic mathematical computing

Homann, Karsten; Calmet, Jacques

Open Access Logo


Volltext §
DOI: 10.5445/IR/303895
Cover der Publikation
Zugehörige Institution(en) am KIT Institut für Algorithmen und Kognitive Systeme (IAKS)
Publikationstyp Buchaufsatz
Publikationsjahr 1995
Sprache Englisch
Identifikator urn:nbn:de:swb:90-AAA3038954
KITopen-ID: 303895
Erscheinungsvermerk In: Integrating symbolic mathematical computation and artificial intelligence. AISMC-2. Ed.: J. Calmet. Berlin 1995. S. 18-29. (Lecture notes in computer science. 958.)
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page