دانلود کتاب Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX 2002 Copenhagen, Denmark, July 30 – August 1, 2002 Proceedings

استدلال خودکار با تابلوهای تحلیلی و روش های مرتبط: کنفرانس بین المللی ، TABLEAUX 2002 کپنهاگ ، دانمارک ، 30 ژوئیه - 1 آگوست 2002

زبان : English

نویسندگان : Matthias Baaz (auth.), Uwe Egly, Chritian G. Fermüller (eds.)

ناشر : Springer-Verlag Berlin Heidelberg

سال انتشار : 2002

ISBN (شابک) : 3540439293, 9783540439295

ویرایش : [1 ed.]

سری : Lecture Notes in Computer Science 2381 : Lecture Notes in Artificial Intelligence

تعداد صفحات : 346[349]

حجم : 2 مگابایت

فرمت کتاب : pdf

قیمت : 36000 تومان