
Automated deduction - CADE-17 : 17th International Conference on Automated Deduction, Pittsburgh, PA, USA, June 2000 : proceedings
فرمت کتاب
print book
زبان
english
تاریخ انتشار
2000
نویسنده
David A McAllesterنویسنده
David A McAllesterشابک
978-3-540-67664-5
- اطلاعات
- دیدگاه کاربران
دیدگاه کاربران