KIT | KIT-Bibliothek | Impressum | Datenschutz

Computer algebra and theorem proving

Ballarin, Clemens



Zugehörige Institution(en) am KIT Institut für Algorithmen und Kognitive Systeme (IAKS)
Publikationstyp Hochschulschrift
Jahr 1999
Sprache Englisch
Identifikator KITopen ID: 341699
Erscheinungsvermerk Cambridge 1999. (Technical report. University of Cambridge, Computer Laboratory. 473.) Zugl.: Cambridge, Univ., Diss., 1999.
Abschlussart Dissertation
Institut Institut für Algorithmen und Kognitive Systeme (IAKS)
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page