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:
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!