0

Theory and Applications of Satisfiability Testing

7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13,2004, Revised Selected Papers, Lecture Notes in Computer Science 3542 - Theoretical Computer Science and General Issues

Erschienen am 08.07.2005, 1. Auflage 2005
53,49 €
(inkl. MwSt.)

Lieferbar innerhalb 1 - 2 Wochen

In den Warenkorb
Bibliografische Daten
ISBN/EAN: 9783540278290
Sprache: Englisch
Umfang: xiii, 393 S.
Einband: kartoniertes Buch

Zusätzliche Informationen

Zurzeit sind keine weiteren Informationen zu diesem Artikel vorhanden.