1～2件／全2件 セーフサーチON
  •  
型の理論：起源から今日まで<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

  • ウェブストア価格 ¥39,276（本体¥35,706）
  • SPRINGER NETHERLANDS（2004発売）
  • ポイント 714pt
  • 海外取次在庫
Thirty Five Years of Automating Mathematics : A Volume Dedicated to De Bruijn's Automath (Applied Logic Series, V. 28)
  • 洋書
  • ポイントキャンペーン

Thirty Five Years of Automating Mathematics : A Volume Dedicated to De Bruijn's Automath (Applied Logic Series, V. 28)  Hardcover,  言語：ENG

Kamareddine, Fairouz D. (EDT)

  • ウェブストア価格 ¥21,600（本体¥19,637）
  • Kluwer Academic Pub（2003/11発売）
  • ポイント 392pt
  • 海外取次在庫
1～2件／全2件
  •