Introduction to Homotopy Type Theory
暫譯: 同倫類型理論導論

Rijke, Egbert

Introduction to Homotopy Type Theory
  • 出版商: Cambridge
  • 出版日期: 2025-11-06
  • 售價: $2,600
  • 貴賓價: 9.5 折 $2,470
  • 語言: 英文
  • 頁數: 383
  • 裝訂: Hardcover - also called cloth, retail trade, or trade
  • ISBN: 1108844162
  • ISBN-13: 9781108844161
  • 相關分類: 離散數學 Discrete-mathematics、數學

    • 海外代購書籍(需單獨結帳)

商品描述

商品描述(中文翻譯)

抱歉，您似乎沒有提供任何內容供我翻譯。請提供您希望翻譯的文本，我將很樂意協助您。

類似商品

最後瀏覽商品 (2)