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

  • ウェブストア価格 ¥38,530（本体¥35,028）
  • SPRINGER NETHERLANDS（2004発売）
  • ポイント 350pt
  • 海外取次在庫
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,190（本体¥19,264）
  • Kluwer Academic Pub（2003/11発売）
  • ポイント 192pt
  • 海外取次在庫
1～2件／全2件
  •