Specification and integration of theorem provers and computer algebra systems

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

Seitenaufrufe: 34
seit 09.12.2018

Zugehörige Institution(en) am KIT	Fakultät für Informatik – Institut für Algorithmen und Kognitive Systeme (IAKS)
Publikationstyp	Zeitschriftenaufsatz
Publikationsjahr	1999
Sprache	Englisch
Identifikator	KITopen-ID: 323899
Erscheinungsvermerk	Fundamenta informaticae 39 (1999) H. 1/2 S. 39-57.