Theory and Application of Satisfiability Testing
14th International Conference, SAT 2011, Ann Arbor, MI, USA, June 19-22, 2011, Proceedings
Автор:
Karem A. Sakallah, Laurent Simon
Наличност:
Външен склад в ограничено количество
Изпращаме след 14-21 дни
56.69
€
110.87 лв
This book constitutes the refereed proceedings of the 14th International Conference on Theory and Ap...
