دانلود کتاب Theorem Proving in Higher Order Logics: 15th International Conference, TPHOLs 2002 Hampton, VA, USA, August 20–23, 2002 Proceedings

اثبات قضیه در منطق مرتبه بالاتر: پانزدهمین کنفرانس بین المللی ، TPHOLs 2002 همپتون ، VA ، ایالات متحده آمریکا ، 20 تا 23 آگوست ، مجموعه مقالات

زبان : English

نویسندگان : Ricky Butler (auth.), Victor A. Carreño, César A. Muñoz, Sofiène Tahar (eds.)

ناشر : Springer-Verlag Berlin Heidelberg

سال انتشار : 2002

ISBN (شابک) : 3540440399, 9783540440390

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

سری : Lecture Notes in Computer Science 2410

تعداد صفحات : 347[357]

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

فرمت کتاب : pdf

قیمت : 36000 تومان