Theory and Applications of Satisfiability Testing - SAT 2016 19th International Conference, Bordeaux, France, July 5-8, 2016, Proceedings
فرمت کتاب
ebook
زبان
german
تاریخ انتشار
2016
شابک
9783319409702
کتاب های مرتبط
- اطلاعات
- دیدگاه کاربران
دیدگاه کاربران