Interactive Theorem Proving : 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013, Proceedings
تاريخ النشر: 19/07/2013
الناشر: Springer
ترجمة، تحقيق: Sandrine Blazy
لغة: إنكليزي
طبعة: 1
حجم: 16×23
عدد الصفحات: 512
مجلدات: 1
يحتوي على: صور/رسوم
ردمك: 9783642396335