دانلود کتاب Theorem Proving in Higher Order Logics: 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007. Proceedings
اثبات قضیه در منطق نظم عالی: بیستمین کنفرانس بین المللی ، TPHOLs 2007 ، کایزرسلاوترن ، آلمان ، 10-13 سپتامبر 2007. مجموعه مقالات
زبان : English
نویسندگان : Constance L. Heitmeyer (auth.), Klaus Schneider, Jens Brandt (eds.)
ناشر : Springer-Verlag Berlin Heidelberg
سال انتشار : 2007
ISBN (شابک) : 3540745904, 9783540745907
ویرایش : [1 ed.]
سری : Lecture Notes in Computer Science 4732
تعداد صفحات : 404[407]
حجم : 3 مگابایت
فرمت کتاب : pdf
قیمت : 36000 تومان