
Theory and Applications of Satisfiability Testing - SAT 2012 15th International Conference, Trento, Italy, June 17-20, 2012. Proceedings
فرمت کتاب
ebook
زبان
german
تاریخ انتشار
2012
شابک
9783642316128
- اطلاعات
- دیدگاه کاربران
دیدگاه کاربران