خرید و دانلود نسخه کامل کتاب Theorem Proving in Higher Order Logics: 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005. Proceedings

قضیه اثبات در منطق مرتبه بالاتر: هجدهمین کنفرانس بین المللی ، Tphols 2005 ، آکسفورد ، انگلیس ، 22-25 اوت 2005. مجموعه مقالات

Theorem Proving in Higher Order Logics: 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005. Proceedings

نویسنده: Mauro Gargano, Mark Hillebrand, Dirk Leinenbach, Wolfgang Paul (auth.), Joe Hurd, Tom Melham (eds.)

ناشر: Springer-Verlag Berlin Heidelberg

سال انتشار: 2005

تعداد صفحات: 414 [418]

زبان: English

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

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