Automated Reasoning : 10th International Joint Conference, IJCAR 2020, Paris, France, July 1-4, 2020, Proceedings, Part I
تاريخ النشر: 30/06/2020
الناشر: Springer
ترجمة، تحقيق: Nicolas Peltier
لغة: إنكليزي
طبعة: 1
حجم: 16×23
عدد الصفحات: 568
مجلدات: 1
يحتوي على: صور/رسوم
ردمك: 9783030510732