Automated Deduction - CADE-25 : 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings
تاريخ النشر: 30/07/2015
الناشر: Springer
ترجمة: Amy P Felty
لغة: إنكليزي
طبعة: 1
حجم: 16×23
عدد الصفحات: 670
مجلدات: 1
يحتوي على: صور/رسوم
ردمك: 9783319214009