KOBV-Portal

Treffer pro Seite

Treffer 1 - 1 | 1 Treffer

Alles auswählen Exportieren

Online-Ressource

SAT 15 2012 Trient ; Cimatti, Alessandro ; Sebastiani, Roberto

Berlin ; Heidelberg : Springer

zur Merkliste hinzufügen auf der Merkliste

Details

UID:

b3kat_BV049309263

Umfang: Online-Ressource (XIII, 504 Seiten) , Illustrationen, Diagramme

ISBN: 9783642316128

Serie: Lecture Notes in Computer Science 7317

Anmerkung: Literaturangaben

Weitere Ausg.: Erscheint auch als Druck-Ausgabe, Paperback ISBN 978-3-642-31611-1

Sprache: Englisch

Schlagwort(e): Erfüllbarkeitsproblem ; Erfüllbarkeitsproblem ; Boolesche Formel ; Konferenzschrift ; Aufsatzsammlung

DOI: 10.1007/978-3-642-31612-8

URL: Volltext (URL des Erstveröffentlichers)

URL: Inhaltsverzeichnis

Bibliothek	Standort	Signatur	Band/Heft/Jahr	Verfügbarkeit

Andere fanden auch interessant ...

Online-Ressource

BTU Cottbus

Treffer 1 - 1 | 1 Treffer

Kooperativer Bibliotheksverbund