KIT | KIT-Bibliothek | Impressum

Automatische Ergebnisverifikation bei globalen Optimierungsproblemen

Ratz, Dietmar



Zugehörige Institution(en) am KIT Institut für Angewandte Mathematik (Inst. f. Ang. Math.)
Publikationstyp Hochschulschrift
Jahr 1992
Sprache Deutsch
Identifikator URN: urn:nbn:de:swb:90-AAA410928
KITopen ID: 41092
Erscheinungsvermerk Fak. f. Mathematik, Diss. v. 1.7.1992.
Abschlussart Dissertation
Fakultät Fakultät für Mathematik (MATH)
Institut Institut für Angewandte Mathematik (Inst. f. Ang. Math.)
Prüfungsdaten Diss. v. 1.7.1992
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page