Automated Deduction - CADE 27 27th International Conference on Automated Deduction, Natal, Brazil, August 27-30, 2019, Proceedings. Lecture Notes in Artificial Intelligence
فرمت کتاب
ebook
زبان
english
تاریخ انتشار
2019
شابک
9783030294359
- اطلاعات
- دیدگاه کاربران
دیدگاه کاربران