دانلود کتاب Theory and Applications of Satisfiability Testing – SAT 2007: 10th International Conference, Lisbon, Portugal, May 28-31, 2007. Proceedings
by Martin Davis (auth.)
|
عنوان فارسی: تئوری و کاربردهای ارضا تست - SAT 2007: 10 کنفرانس بین المللی، لیسبون، پرتغال، 28-31 مه، 2007. مجموعه مقالات |