Schöning, Uwe (Autor)
Torán, Jacobo (Autor)
Das Erfüllbarkeitsproblem SAT
Algorithmen und Analysen
Beschreibung
Produktdetails
| ISBN/GTIN | 978-3-86541-724-4 |
|---|---|
| Seitenzahl | 181 S. |
| Kopierschutz | mit Wasserzeichen |
| Dateigröße | 1351 Kbytes |