Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: idn=1008159867
![]() |
|
Link zu diesem Datensatz | https://d-nb.info/1008159867 |
Art des Inhalts | Hochschulschrift |
Titel | Computational complexity of SAT, XSAT and NAE-SAT for linear and mixed Horn CNF formulas / vorgelegt von Tatjana Schmidt |
Person(en) | Schmidt, Tatjana (Verfasser) |
Zeitliche Einordnung | Erscheinungsdatum: 2010 |
Umfang/Format | Online-Ressource (PDF) |
Andere Ausgabe(n) | Erscheint auch als Druck-Ausgabe: Schmidt, Tatjana: Computational complexity of SAT, XSAT and NAE-SAT for linear and mixed Horn CNF formulas |
Hochschulschrift | Köln, Univ., Diss., 2010 |
Persistent Identifier | URN: urn:nbn:de:hbz:38-31293 |
URL | http://kups.ub.uni-koeln.de/volltexte/2010/3129/index.html (Verlag) (kostenfrei zugänglich) |
Sprache(n) | Englisch (eng) |
Anmerkungen | Dateien im PDF-Format |
DDC-Notation | 511.3 [DDC22ger] |
Sachgruppe(n) | 510 Mathematik |
Online-Zugriff | Archivobjekt öffnen |
