Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: "11801109X"
Treffer 16 von 54
|
|
| Link zu diesem Datensatz | https://d-nb.info/1199009431 |
| Titel | From DQBF to QBF by Dependency Elimination / Ralf Wimmer, Andreas Karrenbauer, Ruben Becker, Christoph Scholl, Bernd Becker |
| Person(en) |
Wimmer, Ralf (Verfasser) Karrenbauer, Andreas (Verfasser) Becker, Ruben (Verfasser) Scholl, Christoph (Verfasser) Becker, Bernd (Verfasser) |
| Verlag | Tübingen : Universitätsbibliothek Tübingen |
| Zeitliche Einordnung | Erscheinungsdatum: 2018 |
| Umfang/Format | Online-Ressource |
| Persistent Identifier | URN: urn:nbn:de:bsz:21-dspace-842764 |
| URL | https://publikationen.uni-tuebingen.de/xmlui/handle/10900/84276/ (Verlag) (kostenfrei zugänglich) |
| Sprache(n) | Englisch (eng) |
| Anmerkungen | In: MBMV 2018 |
| Schlagwörter | Erfüllbarkeitsproblem |
| DDC-Notation | 004.01 (maschinell ermittelte DDC-Kurznotation) |
| Sachgruppe(n) | 004 Informatik |
| Online-Zugriff | Archivobjekt öffnen |
Treffer 16 von 54
Administration
