دانلود کتاب Theorem Proving in Higher Order Logics: 16th International Conference, TPHOLs 2003, Rome, Italy, September 8-12, 2003. Proceedings

اثبات قضیه در منطق مرتبه بالاتر: شانزدهمین کنفرانس بین المللی ، TPHOLs 2003 ، رم ، ایتالیا ، 8-12 سپتامبر ، 2003. مجموعه مقالات

زبان : English

نویسندگان : Jean-Raymond Abrial, Dominique Cansell (auth.), David Basin, Burkhart Wolff (eds.)

ناشر : Springer-Verlag Berlin Heidelberg

سال انتشار : 2003

ISBN (شابک) : 9783540406648, 3540406646

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

سری : Lecture Notes in Computer Science 2758

تعداد صفحات : 366[376]

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

فرمت کتاب : pdf

قیمت : 36000 تومان