Automatische Ergebnisverifikation bei globalen Optimierungsproblemen
By: Dietmar Ratz
Contributors: Universität Karlsruhe
Published: 1992
Place of publication: Karlsruhe
Language: ger
Number of pages: 165
Notes: Thesis (doctoral)--Universität Karlsruhe (T.H.), 1992.