دانلود کتاب Logic for Programming, Artificial Intelligence, and Reasoning: 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007. Proceedings

منطق برنامه نویسی ، هوش مصنوعی و استدلال: چهاردهمین کنفرانس بین المللی ، LPAR 2007 ، ایروان ، ارمنستان ، 15 تا 19 اکتبر ، 2007. مجموعه مقالات

زبان : English

نویسندگان : Johann A. Makowsky (auth.), Nachum Dershowitz, Andrei Voronkov (eds.)

ناشر : Springer-Verlag Berlin Heidelberg

سال انتشار : 2007

ISBN (شابک) : 3540755586, 9783540755586

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

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

تعداد صفحات : 564[572]

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

فرمت کتاب : pdf

قیمت : 36000 تومان