Theory and Applications of Satisfiability Testing
7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers
Автор:
Holger H. Hoos, David G. Mitchell
Наличност:
Външен склад
Изпращаме след 5-8 дни
52.77
€
103.22 лв
This book constitutes the refereed proceedings of the 7th International Conference on Theory and App...
