دانلود کتاب Theory and Applications of Satisfiability Testing - SAT 2014: 17th International Conference, Held as Part of the Vienna Summer of Logic, VSL 2014, ...
by Carsten Sinz, Uwe Egly
|
عنوان فارسی: نظریه و کاربردهای آزمایش رضایتمندی - SAT 2014: هفدهمین کنفرانس بین المللی ، به عنوان بخشی از منطق تابستان وین ، VSL 2014 ، ... |