1～7件／全7件 セーフサーチON
  •  
A Century since Principia's Substitution Bedazzled Haskell Curry. In Honour of Jonathan Seldin's 80th Anniversary
  • 洋書

A Century since Principia's Substitution Bedazzled Haskell Curry. In Honour of Jonathan Seldin's 80th Anniversary  Paperback

Kamareddine, Fairouz(EDT)

  • ウェブストア価格 ¥4,792（本体¥4,357）
  • College Publications（2023/07発売）
  • ポイント 43pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
A Primer of Mathematical Analysis and the Foundations of Computation
  • 洋書

A Primer of Mathematical Analysis and the Foundations of Computation

Kamareddine, Fairouz/Seldin, Jonathan

  • College Publications（2023/10発売）
  • ご注文いただけません
Intelligent Technologies and Applications : First International Conference, INTAP 2018, Bahawalpur, Pakistan, October 23-25, 2018, Revised Selected Papers (Communications in Computer and Information Science)
  • 洋書
  • 電子版あり

Intelligent Technologies and Applications : First International Conference, INTAP 2018, Bahawalpur, Pakistan, October 23-25, 2018, Revised Selected Papers (Communications in Computer and Information Science)  Paperback,  言語：ENG

Bajwa, Imran Sarwar (EDT)/ Kamareddine, Fairouz (EDT)/ Costa, Anna (EDT)

  • ウェブストア価格 ¥23,538（本体¥21,399）
  • Springer Verlag, Singapore（2019/03発売）
  • ポイント 213pt
  • 海外取次在庫
型の理論：起源から今日まで<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

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

  • ウェブストア価格 ¥23,538（本体¥21,399）
  • Kluwer Academic Pub（2003/11発売）
  • ポイント 213pt
  • 海外取次在庫
Foundations of Combinatory Logic: (Grundlagen der kombinatorischen Logik) (Logic PhD") 〈1〉
  • 洋書

Foundations of Combinatory Logic: (Grundlagen der kombinatorischen Logik) (Logic PhD") 〈1〉  Paperback

Curry, Haskell/ Kamareddine, Fairouz(TRN)/ Seldin, Jonathan(TRN)

  • ウェブストア価格 ¥3,977（本体¥3,616）
  • College Publications（2017/04発売）
  • ポイント 36pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Intelligent Computer Mathematics : 14th International Conference, CICM 2021, Timisoara, Romania, July 26-31, 2021, Proceedings (Lecture Notes in Artificial Intelligence)
  • 洋書

Intelligent Computer Mathematics : 14th International Conference, CICM 2021, Timisoara, Romania, July 26-31, 2021, Proceedings (Lecture Notes in Artificial Intelligence)  Paperback,  言語：ENG

Kamareddine, Fairouz (EDT)/ Sacerdoti Coen, Claudio (EDT)

  • ウェブストア価格 ¥11,767（本体¥10,698）
  • Springer Nature Switzerland AG（2021/07発売）
  • ポイント 106pt
  • 海外取次在庫
1～7件／全7件
  •