Extended Abstracts Fall 2013
Geometrical Analysis; Type Theory, Homotopy Theory and Univalent Foundations
فرمت کتاب
ebook
زبان
english
تاریخ انتشار
2015
نویسنده
Joachim Kockناشر
Birkhauserشابک
9783319212838
کتاب های مرتبط
- اطلاعات
- دیدگاه کاربران
دیدگاه کاربران