• Theory and Applications of Sat...
  • Beschreibung

Treffer: Theory and Applications of Satisfiability Testing - SAT 2010

Titel:
Theory and Applications of Satisfiability Testing - SAT 2010 : 13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010, Proceedings / edited by Ofer Strichman, Stefan Szeider
Beteiligt:
Strichman, Ofer (Herausgeber); Szeider, Stefan (Herausgeber)
Ausgabe:
1st ed. 2010
Veröffent­licht:
Berlin, Heidelberg : Springer Berlin Heidelberg, 2010
Vertrieb:
Cham : Springer International Publishing AG
Umfang:
1 Online-Ressource (XIII, 400 Seiten) : 74 illus.
Format:
E-Book
Sprache:
Englisch
Schriftenreihe/­Mehrbändiges Werk:
Theoretical Computer Science and General Issues, ISSN 2512-2029 ; 6175
Andere Ausgaben:
Erscheint auch als Druck-Ausgabe: Theory and Applications of Satisfiability Testing - SAT 2010. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2010. - ISBN 9783642141850
RVK-Notation:
SS 4000
Schlagworte:
ISBN:
9783642141867 ; 3642141862 ; 978--364214185-0 (Sekundärausgabe) ; 978--364214187-4 (Sekundärausgabe)
DOI:
10.1007/978-3-642-14186-7

Zusatz-Informationen

Zusatz-Funktionen