Theory and applications of satisfiability testing
: 10th international conference ; proceedings / SAT 2007, Lisbon, Portugal, May 28 - 31, 2007. João Marques-Silva ; Karem A. Sakallah (ed.). - Berlin : Springer, 2007. - XI, 384 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 4501)
ISBN 978-3-540-72787-3 / 3-540-72787-6 kart. : EUR 55.64 (freier Pr.), sfr 85.50 (freier Pr.)
Literaturangaben
Quelle: DNB Verlagsmeldungen
Theory and applications of satisfiability testing
: 10th international conference ; proceedings / SAT 2007, Lisbon, Portugal, May 28 - 31, 2007. João Marques-Silva ... (ed.). - Berlin : Springer, 2007. - Online-Ressource - (Lecture notes in computer science; 4501)
ISBN 978-3-540-72788-0
Lizenzpflichtig
Quelle: DNB
