دانلود کتاب Theorem Proving in Higher Order Logics: 13th International Conference, TPHOLs 2000 Portland, OR, USA, August 14–18, 2000 Proceedings

اثبات قضیه در منطق مرتبه بالاتر: سیزدهمین کنفرانس بین المللی ، TPHOLs 2000 Portland ، OR ، ایالات متحده آمریکا ، مجموعه مقالات 14 تا 18 اوت 2000

زبان : English

نویسندگان : Antonia Balaa, Yves Bertot (auth.), Mark Aagaard, John Harrison (eds.)

ناشر : Springer-Verlag Berlin Heidelberg

سال انتشار : 2000

ISBN (شابک) : 3540678638, 9783540678632

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

سری : Lecture Notes in Computer Science 1869

تعداد صفحات : 539[546]

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

فرمت کتاب : pdf

قیمت : 36000 تومان