دانلود کتاب Automated Reasoning with Analytic Tableaux and Related Methods : International Conference, TABLEAUX 2003, Rome, Italy, September 2003. Proceedings

استدلال خودکار با تابلوهای تحلیلی و روش های مرتبط: کنفرانس بین المللی ، TABLEAUX 2003 ، رم ، ایتالیا ، سپتامبر 2003. مجموعه مقالات

زبان : English

نویسندگان : V. Michele Abrusci (auth.), Marta Cialdea Mayer, Fiora Pirri (eds.)

ناشر : Springer-Verlag Berlin Heidelberg

سال انتشار : 2003

ISBN (شابک) : 3540407871, 9783540407874

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

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

تعداد صفحات : 270[272]

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

فرمت کتاب : pdf

قیمت : 36000 تومان