Esta es nuestra librería de Chile.

Parece que estás en Estados Unidos. Para comprar en nuestra librería de Chile necesitas una dirección Chile. Ve a nuestra librería de Estados Unidos para continuar.

Ir a la librería de Estados UnidosElegir otra librería
Saltar al contenido principal
Lista de deseos
Cesta
Crear cuenta
¿Tienes cuenta?Iniciar sesión
從零開始學 Lean - Formalizing Mathematics: Lean 4 and the Proving Machines eBook de 零的零次方

從零開始學 Lean

Formalizing Mathematics: Lean 4 and the Proving Machines

零的零次方
從零開始

Sinopsis

Categorías

Acerca de este libro

  • Idioma:Chinese
  • ISBN:9786264731324
  • Fecha de lanzamiento:1 nov 2026
  • Editorial:從零開始工作室
  • Formato de archivo:EPUB3
  • Tamaño de archivo:11.60 MB
  • Opciones de descarga:EPUB3 (DRM-Free)

En esta serie

Saltar esta lista

從零開始學精算

零的零次方

從零開始了解編譯器

零的零次方

從零開始做動畫

零的零次方

從零開始學紫微斗數

零的零次方

從零開始了解 Linux Kernel

零的零次方

從零開始看物理

零的零次方

從零開始講音樂

零的零次方

從零開始買菜

零的零次方

從零開始生成萬物

零的零次方

從零開始學控制理論

零的零次方

從零開始學代數幾何

零的零次方

從零開始講天氣

零的零次方

從零開始了解資料庫

零的零次方

從零開始了解 CPU

零的零次方

從零開始講賽局

零的零次方

從零開始講金錢

零的零次方

從零開始講法律

零的零次方

從零開始學表現理論 II

零的零次方

English 9000

零的零次方

從零開始了解電腦圖學

零的零次方

從零開始了解網路

零的零次方

從零開始練觀察

零的零次方

從零開始到 LLM

零的零次方

從零開始了解分散式系統

零的零次方

從零開始學會計（上）

零的零次方

從零開始到 LLM 2

零的零次方

從零開始講城市

零的零次方

從零開始講語言

零的零次方

從零開始讀易經

零的零次方

從零開始懂西藥

零的零次方

從零開始學塔羅

零的零次方

從零開始學隨機微積分

零的零次方

從零開始讀埃及象形文字

零的零次方

從零開始學表現理論

零的零次方

從零開始聊哲學

零的零次方

從零開始讀聖經

零的零次方

從零開始了解量子電腦

零的零次方

從零開始了解晶片

零的零次方

從零開始用生物破案

零的零次方

從零開始蓋大樓

零的零次方

從零開始了解電力系統

零的零次方

從零開始了解密碼學

零的零次方

從零開始了解資訊安全

零的零次方