خرید و دانلود نسخه کامل کتاب Theorem Proving in Higher Order Logics: 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007. Proceedings

قضیه تئوری منطق سفارش بالاتر: 20مین کنفرانس بین المللی، TPHOLs 2007، Kaiserslautern، Germany، 10-13 سپتامبر 2007. پرونده ها

Theorem Proving in Higher Order Logics: 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007. Proceedings

نویسنده: Constance L. Heitmeyer (auth.), Klaus Schneider, Jens Brandt (eds.)

ناشر: Springer-Verlag Berlin Heidelberg

سال انتشار: 2007

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

زبان: English

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

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