دانلود کتاب Automated Reasoning with Analytic Tableaux and Related Methods: 16th International Conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007. Proceedings

استدلال خودکار با تابلوهای تحلیلی و روش های مرتبط: شانزدهمین کنفرانس بین المللی ، TABLEAUX 2007 ، Aix en Provence ، فرانسه ، 3-6 ژوئیه 2007. مجموعه مقالات

زبان : English

نویسندگان : Piero A. Bonatti (auth.), Nicola Olivetti (eds.)

ناشر : Springer-Verlag Berlin Heidelberg

سال انتشار : 2007

ISBN (شابک) : 3540730982, 9783540730989

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

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

تعداد صفحات : 250[255]

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

فرمت کتاب : pdf

قیمت : 36000 تومان