دانلود کتاب Theory and Applications of Satisfiability Testing - SAT 2006: 9th International Conference, Seattle, WA, USA, August 12-15, 2006. Proceedings
by Hossein M. Sheini
|
عنوان فارسی: تئوری و کاربردهای ارضا تست - شنبه 2006: 9 کنفرانس بین المللی، سیاتل، WA، ایالات متحده آمریکا، 12-15 اوت، 2006. مجموعه مقالات |