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,919(本体¥4,472)
  • College Publications(2023/07発売)
  • ポイント 44pt
  • オンデマンド(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)

  • ウェブストア価格 ¥24,158(本体¥21,962)
  • Springer Verlag, Singapore(2019/03発売)
  • ポイント 219pt
  • 海外取次在庫
型の理論:起源から今日まで<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,927(本体¥39,934)
  • SPRINGER NETHERLANDS(2004発売)
  • ポイント 399pt
  • 海外取次在庫
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)

  • ウェブストア価格 ¥24,158(本体¥21,962)
  • Kluwer Academic Pub(2003/11発売)
  • ポイント 219pt
  • 海外取次在庫
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)

  • ウェブストア価格 ¥4,082(本体¥3,711)
  • College Publications(2017/04発売)
  • ポイント 37pt
  • オンデマンド(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)

  • ウェブストア価格 ¥12,078(本体¥10,980)
  • Springer Nature Switzerland AG(2021/07発売)
  • ポイント 109pt
  • 海外取次在庫