Automated Reasoning : 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, Vienna, Austria, July 19-22, 2014, P
تاريخ النشر: 04/08/2014
الناشر: Springer
ترجمة، تحقيق: Stéphane Demri
لغة: إنكليزي
طبعة: 1
حجم: 16×23
عدد الصفحات: 558
مجلدات: 1
يحتوي على: صور/رسوم
ردمك: 9783319085869