Theory and Applications of Satisfiability Testing -- SAT 2015 : 18th International Conference, Austin, TX, USA, September 24-27, 2015, Proceedings
تاريخ النشر: 04/11/2015
الناشر: Springer
ترجمة، تحقيق: Marijn Heule
لغة: إنكليزي
طبعة: 1
حجم: 16×23
عدد الصفحات: 458
مجلدات: 1
يحتوي على: صور/رسوم
ردمك: 9783319243177