دانلود کتاب Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX 2000, St Andrews, Scotland, UK, July 3-7, 2000 Proceedings

استدلال خودکار با تابلوهای تحلیلی و روش های مرتبط: کنفرانس بین المللی ، TABLEAUX 2000 ، سنت اندروز ، اسکاتلند ، انگلستان ، مجموعه مقالات 3-7 ژوئیه 2000

زبان : English

نویسندگان : Franz Baader, Ulrike Sattler (auth.), Roy Dyckhoff (eds.)

ناشر : Springer-Verlag Berlin Heidelberg

سال انتشار : 2000

ISBN (شابک) : 354067697X, 9783540676973

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

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

تعداد صفحات : 440[451]

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

فرمت کتاب : pdf

قیمت : 36000 تومان