Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: "122164458"
Treffer 7 von 141
|
|
| Link zu diesem Datensatz | https://d-nb.info/1306391938 |
| Titel | Tseitin or not Tseitin? The Impact of CNF Transformations on Feature-Model Analyses / Elias Kuiter, Sebastian Krieter, Chico Sundermann, Thomas Thüm, Gunter Saake |
| Person(en) |
Kuiter, Elias (Verfasser) Krieter, Sebastian (Verfasser) Sundermann, Chico (Verfasser) Thüm, Thomas (Verfasser) Saake, Gunter (Verfasser) |
| Verlag | Ulm : Universität Ulm |
| Zeitliche Einordnung | Erscheinungsdatum: 2023 |
| Umfang/Format | Online-Ressource (pdf) |
| Persistent Identifier |
URN: urn:nbn:de:bsz:289-oparu-50807-1 DOI: 10.18725/OPARU-50731 |
| URL | http://nbn-resolving.de/urn:nbn:de:bsz:289-oparu-50807-1 (Verlag) (kostenfrei zugänglich) |
| Sprache(n) | Englisch (eng) |
| Anmerkungen | In: ASE '22: Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering ; 2022 (2022). - ISBN 9781450394758 |
| Schlagwörter | Kanonische Form |
| DDC-Notation | 005.10151 (maschinell ermittelte DDC-Kurznotation) |
| Sachgruppe(n) | 004 Informatik |
| Online-Zugriff | Archivobjekt öffnen |
Treffer 7 von 141
Administration
