خرید و دانلود نسخه کامل کتاب Theorem Proving in Higher Order Logics: 12th International Conference, TPHOLs'99, Nice, France, September 14-17, 1999, Proceedings (Lecture Notes in Computer Science, 1690)

اثبات قضیه در منطق های مرتبه بالاتر: دوازدهمین کنفرانس بین المللی، TPHOLs'99، نیس، فرانسه، 14-17 سپتامبر 1999، مجموعه مقالات (یادداشت های سخنرانی در علوم کامپیوتر، 1690)

Theorem Proving in Higher Order Logics: 12th International Conference, TPHOLs'99, Nice, France, September 14-17, 1999, Proceedings (Lecture Notes in Computer Science, 1690)

نویسنده: Yves Bertot (editor), Gilles Dowek (editor), Andre Hirschowitz (editor), Christine Paulin (editor), Laurent Thery (editor)

ناشر: Springer

سال انتشار: 1999

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

زبان: English

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

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