Detailansicht
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
ISBN/EAN: 9783540278290
Umbreit-Nr.: 9724103
Sprache:
Englisch
Umfang: xiii, 393 S.
Format in cm:
Einband:
kartoniertes Buch
Erschienen am 08.07.2005
Auflage: 1/2005