خرید و دانلود نسخه کامل کتاب Theorem Proving in Higher Order Logics: 17th International Conference, TPHOLS 2004, Park City, Utah, USA, September 14-17, 2004, Proceedings

قضیه اثبات در منطق مرتبه بالاتر: هفدهمین کنفرانس بین المللی ، TPHOLS 2004 ، پارک سیتی ، یوتا ، ایالات متحده ، 14-17 سپتامبر 2004 ، مجموعه مقالات

Theorem Proving in Higher Order Logics: 17th International Conference, TPHOLS 2004, Park City, Utah, USA, September 14-17, 2004, Proceedings

نویسنده: Konrad Slind, Annette Bunker, Ganesh C. Gopalakrishnan

ناشر: Springer

سال انتشار: 2004

تعداد صفحات: 349

زبان: English

فرمت: djvu - قابل تبدیل به سایر فرمت ها

حجم فایل: 3 مگابایت