Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: dcs=5*
Treffer 99863 von 132232
|
|
| Link zu diesem Datensatz | https://d-nb.info/983499152 |
| Art des Inhalts | Hochschulschrift |
| Titel | Algebraic techniques for satisfiability problems / von Henning Schnoor |
| Person(en) | Schnoor, Henning (Verfasser) |
| Ausgabe | 1. Aufl. |
| Verlag | Göttingen : Cuvillier |
| Zeitliche Einordnung | Erscheinungsdatum: 2007 |
| Umfang/Format | XVI, 120 S. : graph. Darst. ; 21 cm |
| Hochschulschrift | Zugl.: Hannover, Univ., Diss., 2007 |
| ISBN/Einband/Preis |
978-3-86727-176-9 kart. : EUR 19.00 3-86727-176-3 kart. : EUR 19.00 |
| EAN | 9783867271769 |
| Sprache(n) | Englisch (eng) |
| Schlagwörter | Erfüllbarkeitsproblem |
| DDC-Notation | 511.35 [DDC22ger] |
| Sachgruppe(n) | 510 Mathematik |
| Frankfurt |
Signatur: 2007 A 54091
Bereitstellung in Frankfurt |
| Leipzig |
Signatur: 2007 A 52966
Bereitstellung in Leipzig |
Treffer 99863 von 132232
Administration
