دانلود کتاب Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX’98 Oisterwijk, The Netherlands, May 5–8, 1998 Proceedings

استدلال خودکار با تابلوهای تحلیلی و روشهای مرتبط: کنفرانس بین المللی ، TABLEAUX’98 Oisterwijk ، هلند ، مقالات 5 تا 8 مه 1998

زبان : English

نویسندگان : N. G. de Bruijn (auth.), Harrie de Swart (eds.)

ناشر : Springer Berlin Heidelberg

سال انتشار : 1998

ISBN (شابک) : 3540644067, 9783540644064

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

سری : Lecture Notes in Computer Science 1397

تعداد صفحات : 335

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

فرمت کتاب : pdf

قیمت : 36000 تومان