
Automated Reasoning with Analytic Tableaux and Related Methods : International Conference, TABLEAUX 2003, Rome, Italy, September 2003. Proceedings.
فرمت کتاب
ebook
زبان
english
تاریخ انتشار
2003
شابک
9783540452065
کتاب های مرتبط
- اطلاعات
- دیدگاه کاربران
دیدگاه کاربران