خرید و دانلود نسخه کامل کتاب Theorem Proving in Higher Order Logics: 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008. Proceedings

قضیه ثابت در منطق سفارش بالاتر: 21st International Conference، TPHOLs 2008، Montreal، Canada، August 18-21، 2008. Proceedings

Theorem Proving in Higher Order Logics: 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008. Proceedings

نویسنده: Mike Gordon (auth.), Otmane Ait Mohamed, César Muñoz, Sofiène Tahar (eds.)

ناشر: Springer-Verlag Berlin Heidelberg

سال انتشار: 2008

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

زبان: English

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

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