Logic for Programming, Artificial Intelligence, and Reasoning : 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceed
(0)    
المرتبة: 969,833
تاريخ النشر: 03/12/2015
الناشر: Springer
ترجمة: Martin Davis
لغة: إنكليزي
طبعة: 1
حجم: 16×23
عدد الصفحات: 658
مجلدات: 1
يحتوي على: صور/رسوم
ردمك: 9783662488980