Interactive Theorem Proving : 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-1
تاريخ النشر: 01/08/2014
الناشر: Springer
ترجمة، تحقيق: Gerwin Klein
لغة: إنكليزي
طبعة: 1
حجم: 16×23
عدد الصفحات: 580
مجلدات: 1
يحتوي على: صور/رسوم
ردمك: 9783319089690