Formal framework for proof generating optimizers
Gawkowski, Marek Jerzy
- Link zu diesem Datensatz
-
https://d-nb.info/1000314820
- Titel
-
Formal framework for proof generating optimizers
- Art des Inhalts
- Monographie
- Verfassangaben
- von Marek Jerzy Gawkowski
- Autor
-
Gawkowski, Marek Jerzy
- Zeitliche Einordnung
- Erscheinungsdatum: 2008
- Online
- https://nbn-resolving.org/urn:nbn:de:hbz:386-kluedo-24643
- Sprache
- eng
- Schlagwörter
-
- Anmerkungen
-
Kaiserslautern, Techn. Univ., Diss., 2009
- Stand
- 21.12.2025 12:26
- Im Katalog seit
- 06.03.2026
Beschreibung vom Verlag
← Zurück zur Startseite