دانلود کتاب Theorem Proving in Higher Order Logics: 14th International Conference, TPHOLs 2001 Edinburgh, Scotland, UK, September 3–6, 2001 Proceedings
اثبات قضیه در منطق مرتبه بالاتر: چهاردهمین کنفرانس بین المللی ، TPHOLs 2001 ادینبورگ ، اسکاتلند ، انگلیس ، مجموعه مقالات 3 تا 6 سپتامبر 2001
زبان : English
نویسندگان : Bart Jacobs (auth.), Richard J. Boulton, Paul B. Jackson (eds.)
ناشر : Springer-Verlag Berlin Heidelberg
سال انتشار : 2001
ISBN (شابک) : 354042525X, 9783540425250
ویرایش : [1 ed.]
سری : Lecture Notes in Computer Science 2152
تعداد صفحات : 402[404]
حجم : 3 مگابایت
فرمت کتاب : pdf
قیمت : 36000 تومان