Katalog der Deutschen Nationalbibliothek

Springe direkt zu:

Katalog (Beta)

Medien

Verfügbar in Frankfurt
Verfügbar in Frankfurt
Verfügbar in Leipzig
Verfügbar in Leipzig

Armin Biere und SAT (9, 2006, Seattle, Wash.)

Theory and applications of satisfiability testing : 9th international conference, Seattle, WA, USA, August 12 - 15, 2006 ; proceedings

Berlin, Heidelberg: Springer, 2006

Titel

Theory and applications of satisfiability testing : 9th international conference, Seattle, WA, USA, August 12 - 15, 2006 ; proceedings / SAT 2006, Armin Biere ... (ed.)

Beteiligt

Armin Biere (Mitwirkender)
SAT (9, 2006, Seattle, Wash.) (Herausgebendes Organ)

Erschienen

Berlin, Heidelberg: Springer
2006

Umfang

Online-Ressource

ISBN

978-3-540-37207-3

Sprache

Englisch

Themen­gebiet

Informatik

Thema

Erfüllbarkeitsproblem, Kongress, Seattle <Wash., 2006>, Online-Publikation
Erfüllbarkeitsproblem, Boolesche Formel, Kongress, Seattle <Wash., 2006>, Online-Publikation

Reihe

Lecture notes in computer science ; 4121

Persistent Identifier

urn:nbn:de:1111-200610092757 (URN)
10.1007/11814948 (DOI)

Weitere Angaben

Lizenzpflichtig

Datensatz-ID

981938256
Hinweis

Die Betaversion beinhaltet noch nicht alle Funktionen und Informationen des Katalogs des DNB-Portals. Falls Sie Informationen vermissen oder ein Medium bestellen wollen, besuchen Sie bitte die entsprechende Seite im Katalog des DNB-Portals über folgenden Link:

DNB-Portal