Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: idn=106951814X
Treffer 1 von 1
|
|
| Link zu diesem Datensatz | https://d-nb.info/106951814X |
| Art des Inhalts | Hochschulschrift |
| Titel | SAT Encodings of Finite CSPs / Van-Hau Nguyen. Gutachter: Steffen Hölldobler ; Pedro Barahona |
| Person(en) |
Nguyen, Van-Hau (Verfasser) Hölldobler, Steffen (Akademischer Betreuer) Barahona, Pedro (Akademischer Betreuer) |
| Verlag | Dresden : Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden - Dresden : Technische Universität Dresden |
| Zeitliche Einordnung | Erscheinungsdatum: 2015 |
| Umfang/Format | Online-Ressource |
| Hochschulschrift | Dresden, Technische Universität Dresden, Diss., 2015 |
| Persistent Identifier | URN: urn:nbn:de:bsz:14-qucosa-162186 |
| URL | http://nbn-resolving.de/urn:nbn:de:bsz:14-qucosa-162186 (Verlag) (kostenfrei zugänglich) |
| Sprache(n) | Englisch (eng) |
| Sachgruppe(n) | 004 Informatik |
| Online-Zugriff | Archivobjekt öffnen |
Treffer 1 von 1
Administration
