Automatische Ergebnisverifikation bei globalen Optimierungsproblemen

Karlsruhe, Univ., Diss., 1992 (Nur beschränkt für den Austausch)

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Ratz, Dietmar
Format:	UnknownFormat
Sprache:	ger
Schlagworte:	Intervallalgebra > Verifikation > Globale Optimierung
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Beschreibung
Zusammenfassung:	Karlsruhe, Univ., Diss., 1992 (Nur beschränkt für den Austausch)
Beschreibung:	VIII, [2], 165 S. graph. Darst.