دانلود کتاب Automated Reasoning with Analytic Tableaux and Related Methods: 14th International Conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005. Proceedings

استدلال خودکار با تابلوهای تحلیلی و روش های مرتبط: چهاردهمین کنفرانس بین المللی ، TABLEAUX 2005 ، کوبلنز ، آلمان ، 14 تا 17 سپتامبر 2005. مجموعه مقالات

زبان : English

نویسندگان : Diego Calvanese (auth.), Bernhard Beckert (eds.)

ناشر : Springer-Verlag Berlin Heidelberg

سال انتشار : 2005

ISBN (شابک) : 3540289313, 9783540289319

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

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

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

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

فرمت کتاب : pdf

قیمت : 36000 تومان