دانلود کتاب Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX’99 Saratoga Springs, NY, USA, June 7–11, 1999 Proceedings

استدلال خودکار با تابلوهای تحلیلی و روش های مرتبط: کنفرانس بین المللی ، TABLEAUX’99 Saratoga Springs ، نیویورک ، ایالات متحده آمریکا ، مجموعه مقالات 7 تا 11 ژوئن 1999

زبان : English

نویسندگان : Randal E. Bryant, Steven German, Miroslav N. Velev (auth.), Neil V. Murray (eds.)

ناشر : Springer-Verlag Berlin Heidelberg

سال انتشار : 1999

ISBN (شابک) : 3540660860, 9783540660866

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

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

تعداد صفحات : 334[342]

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

فرمت کتاب : pdf

قیمت : 36000 تومان