دانلود کتاب Theorem Proving in Higher Order Logics: 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008. Proceedings
اثبات قضیه در منطق مرتبه بالاتر: بیست و یکمین کنفرانس بین المللی ، TPHOLs 2008 ، مونترال ، کانادا ، 18 تا 21 آگوست 2008. مجموعه مقالات
زبان : English
نویسندگان : Mike Gordon (auth.), Otmane Ait Mohamed, César Muñoz, Sofiène Tahar (eds.)
ناشر : Springer-Verlag Berlin Heidelberg
سال انتشار : 2008
ISBN (شابک) : 3540710655, 9783540710653
ویرایش : [1 ed.]
سری : Lecture Notes in Computer Science 5170
تعداد صفحات : 321[329]
حجم : 3 مگابایت
فرمت کتاب : pdf
قیمت : 36000 تومان