1～3件／全3件 セーフサーチON
  •  
Type Theory and Formal Proof : An Introduction
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Type Theory and Formal Proof : An Introduction  Hardcover,  言語：ENG

Nederpelt, Rob/ Geuvers, Herman

  • ウェブストア価格 ¥20,513（本体¥18,649）
  • Cambridge University Press（2014/11発売）
  • ポイント 930pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
型の理論：起源から今日まで<br>A Modern Perspective on Type Theory : From its Origins until Today (Applied Logic Series Vol.29) （2004. XIV, 357 p.）
  • 洋書
  • ポイントキャンペーン

型の理論：起源から今日まで
A Modern Perspective on Type Theory : From its Origins until Today (Applied Logic Series Vol.29) （2004. XIV, 357 p.）  Hardcover,  言語：ENG

Kamareddine, Fairouz D./ Laan, Twan/ Nederpelt, Rob

  • ウェブストア価格 ¥43,645（本体¥39,678）
  • SPRINGER NETHERLANDS（2004発売）
  • ポイント 1,980pt
  • 海外取次在庫
A Modern Perspective on Type Theory : From Its Origins Until Today (Applied Logic Series)
  • 洋書
  • ポイントキャンペーン

A Modern Perspective on Type Theory : From Its Origins Until Today (Applied Logic Series)  Paperback,  言語：ENG

Kamareddine, F. D./ Laan, T./ Nederpelt, Rob

  • ウェブストア価格 ¥30,551（本体¥27,774）
  • Springer（2010/10発売）
  • ポイント 1,385pt
  • 海外取次在庫
1～3件／全3件
  •