دانلود کتاب Theorem Proving in Higher Order Logics: 9th International Conference, TPHOLs’96 Turku, Finland, August 26–30, 1996 Proceedings
اثبات قضیه در منطق مرتبه بالاتر: نهمین کنفرانس بین المللی ، TPHOLs’96 Turku ، فنلاند ، 26 تا 30 آگوست ، مجموعه مقالات
زبان : English
نویسندگان : Sten Agerholm (auth.), Gerhard Goos, Juris Hartmanis, Jan van Leeuwen, Joakim von Wright, Jim Grundy, John Harrison (eds.)
ناشر : Springer Berlin Heidelberg
سال انتشار : 1996
ISBN (شابک) : 3540615873, 9783540615873
ویرایش : [1 ed.]
سری : Lecture Notes in Computer Science 1125
تعداد صفحات : 449
حجم : 3 مگابایت
فرمت کتاب : djvu
قیمت : 36000 تومان