دانلود کتاب Interactive Theorem Proving: 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014. Proceedings

Name: Interactive Theorem Proving: 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014. Proceedings
Availability: InStock
Author: Gerwin Klein
ISBN: 9783319089690, 9783319089706

by Gerwin Klein

عنوان فارسی: تعاملی اثبات قضیه: 5 کنفرانس بین المللی، ITP 2014، برگزار شد به عنوان بخشی از وین تابستان منطق، VSL 2014، وین، اتریش، 14-17 ژوئیه، 2014. مجموعه مقالات
ناشر: Springer International Publishing
سال: 2014
ویرایش: 1
زبان: انگلیسی
تعداد صفحه (نسخه چاپی - نسخه الکترونیکی): 555-572
شابک: 9783319089690, 9783319089706
نوع فایل: PDF دانلود نرم افزار مطالعه
حجم: 8.00 مگابایت

گزارش تخلف

دانلود کتاب

افزودن خلاصه فارسی

جزییات کتاب

This book constitutes the proceedings of the 5th International Conference on Interactive Theorem Proving, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, in Vienna, Austria, in July 2014. The 35 papers presented in this volume were carefully reviewed and selected from 59 submissions. The topics range from theoretical foundations to implementation aspects and applications in program verification, security and formalization of mathematics.

گزارش اشکال ⚠