
Automated Deduction - CADE-17 : 17th International Conference on Automated Deduction Pittsburgh, PA, USA, June 17-20, 2000. Proceedings.
فرمت کتاب
ebook
زبان
english
تاریخ انتشار
2000
شابک
9783540451013
کتاب های مرتبط
- اطلاعات
- دیدگاه کاربران
دیدگاه کاربران