TY - BOOK AU - Ratz, Dietmar T1 - Automatische Ergebnisverifikation bei globalen Optimierungsproblemen PY - 1992 PB - Universität Karlsruhe (TH) U3 - Diss. v. 1.7.1992 LA - Deutsch IN - Institut fur Angewandte Informatik und Formale Beschreibungsverfahren, Universitat Karlsruhe (TH) DO - 10.1007/978-3-7091-6282-8_15 T5 - Dissertation M4 - Citavi ER -