Theory and Applications of Satisfiability Testing – SAT 2018 (Lecture Notes in Computer Science)
فرمت کتاب
ebook
زبان
english
تاریخ انتشار
2018
نویسنده
Christoph M. Wintersteigerناشر
Springerشابک
9783319941431
کتاب های مرتبط
- اطلاعات
- دیدگاه کاربران
دیدگاه کاربران