Front Matter, Table of Contents, Preface, Conference Organization

Katalog der Deutschen Nationalbibliothek

Musikarchiv

Buchmuseum

Expertensuche ?

2. bis 5. Oktober 2025: Der Kartenlesesaal in Leipzig ist geschlossen. // 2 to 5 October 2025: The map reading room in Leipzig is closed.

Treffer 357 von 5800


Link zu diesem Datensatz	https://d-nb.info/1366702077
Titel	Front Matter, Table of Contents, Preface, Conference Organization / Kuldeep S. Meel, Ofer Strichman
Person(en)	Meel, Kuldeep S. (Verfasser) Strichman, Ofer (Verfasser)
Verlag	Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik
Zeitliche Einordnung	Erscheinungsdatum: 2022
Umfang/Format	Online-Ressource (pdf)
Persistent Identifier	URN: urn:nbn:de:0030-drops-166746 DOI: 10.4230/LIPIcs.SAT.2022.0
URL	https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.SAT.2022.0 (Verlag) (kostenfrei zugänglich)
Sprache(n)	Englisch (eng)
Beziehungen	Leibniz International Proceedings in Informatics, 2022, Volume 236, 25th International Conference on Theory and Applications of Satisfiability Testing (SAT 2022), page 0:i-0:xviii
DDC-Notation	005.10151 (maschinell ermittelte DDC-Kurznotation)
Sachgruppe(n)	004 Informatik

Online-Zugriff

Archivobjekt öffnen

Treffer 357 von 5800

Korrekturanfrage