خرید و دانلود نسخه کامل کتاب 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

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

زبان: English

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

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