*Result*: Automatische Ergebnisverifikation bei globalen Optimierungsproblemen
*Title*:
*Author/editor-in-chief*:
*Publication*:
Karlsruhe : KIT-Bibliothek, 1992
*Physical description scale*:
1 Online-Ressource
*Format*:
*Language*:
*ger*
*Dissertation note*:
Dissertation, Universität Karlsruhe, 1992
*Subject Added Keywords*: