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

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

Nederpelt, Rob/ Geuvers, Herman

  • ウェブストア価格 ¥17,144（本体¥15,586）
  • Cambridge University Press（2014/11発売）
  • ポイント 155pt
  • オンデマンド(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

  • ウェブストア価格 ¥38,530（本体¥35,028）
  • SPRINGER NETHERLANDS（2004発売）
  • ポイント 350pt
  • 海外取次在庫
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

  • ウェブストア価格 ¥26,970（本体¥24,519）
  • Springer（2010/10発売）
  • ポイント 245pt
  • 海外取次在庫
1～3件／全3件
  •