KIT | KIT-Bibliothek | Impressum | Datenschutz

Specification and integration of theorem provers and computer algebra systems

Bertoli, P.G.; Calmet, Jacques; Giunchiglia, F.; Homann, Karsten



Zugehörige Institution(en) am KIT Institut für Algorithmen und Kognitive Systeme (IAKS)
Publikationstyp Zeitschriftenaufsatz
Jahr 1999
Sprache Englisch
Identifikator KITopen ID: 323899
Erscheinungsvermerk Fundamenta informaticae 39 (1999) H. 1/2 S. 39-57.
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page