دانلود کتاب Automated deduction in multiple-valued logics
دانلود کتاب Handbook of Tableau Methods
دانلود کتاب Handbook of Tableau Methods
دانلود کتاب Theorem Proving with Analytic Tableaux and Related Methods: 4th International Workshop, TABLEAUX ’95 Schloß Reinfels, St. Goar, Germany, May 7–10, 1995 Proceedings
اثبات قضیه با جدولهای تحلیلی و روشهای مرتبط: چهارمین کارگاه بینالمللی، TABLEAUX '95 Schloß Reinfels، سنت گور، آلمان، 7–10 می، 1995 مجموعه مقالات
| موضوع اصلی | کامپیوترها |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Springer-Verlag Berlin Heidelberg |
| تعداد صفحه | 361 |
| حجم فایل | 4 مگابایت |
| کد کتاب | 3540593381,9783540593386 |
| نوبت چاپ | 1 |