
Automated Deduction – CADE 27 : 27th International Conference on Automated Deduction, Natal, Brazil, August 27–30, 2019, Proceedings
فرمت کتاب
computer file
زبان
english
تاریخ انتشار
2019
شابک
9783030294366
کتاب های مرتبط
- اطلاعات
- دیدگاه کاربران
دیدگاه کاربران