
Theory and Applications of Satisfiability Testing -- SAT 2012
15th International Conference, Trento, Italy, June 17-20, 2012, Proceedings
فرمت کتاب
ebook
زبان
english
تاریخ انتشار
2012
نویسنده
Roberto Sebastianiنویسنده
Roberto Sebastianiناشر
Springerناشر
Springerشابک
9783642316111
- اطلاعات
- دیدگاه کاربران
دیدگاه کاربران