دانلود کتاب Theorem Proving in Higher Order Logics: 17th International Conference, TPHOLS 2004, Park City, Utah, USA, September 14-17, 2004, Proceedings
اثبات قضیه در منطق نظم عالی: هفدهمین کنفرانس بین المللی ، TPHOLS 2004 ، پارک سیتی ، یوتا ، ایالات متحده آمریکا ، 14 تا 17 سپتامبر 2004 ، مجموعه مقالات
زبان : English
نویسندگان : Konrad Slind, Annette Bunker, Ganesh C. Gopalakrishnan
ناشر : Springer
سال انتشار : 2004
ISBN (شابک) : 3540230173, 9783540230175, 9783540301424
ویرایش : [1 ed.]
سری : Lecture notes in computer science 3223
تعداد صفحات : 349
حجم : 3 مگابایت
فرمت کتاب : djvu
قیمت : 36000 تومان