1～3件／全3件 セーフサーチON
  •  
Simple Type Theory : A Practical Logic for Expressing and Reasoning about Mathematical Ideas (Computer Science Foundations and Applied Logic)
  • 洋書

Simple Type Theory : A Practical Logic for Expressing and Reasoning about Mathematical Ideas (Computer Science Foundations and Applied Logic)  Paperback

Farmer, William M.

  • ウェブストア価格 ¥15,732（本体¥14,302）
  • Birkhauser Verlag AG（2024/01発売）
  • ポイント 143pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Intelligent Computer Mathematics : 11th International Conference, CICM 2018, Hagenberg, Austria, August 13-17, 2018, Proceedings (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり

Intelligent Computer Mathematics : 11th International Conference, CICM 2018, Hagenberg, Austria, August 13-17, 2018, Proceedings (Lecture Notes in Computer Science)  Paperback

Rabe, Florian (EDT)/ Farmer, William M. (EDT)/ Passmore, Grant O. (EDT)

  • Springer International Publishing AG（2018/07発売）
  • ご注文いただけません
Intelligent Computer Mathematics : 18th Symposium, Calculemus 2011, and 10th International Conference, MKM 2011, Bertinoro, Italy, July 18-23, 2011, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence .6824) （2011. XIV, 312 S.）
  • 洋書

Intelligent Computer Mathematics : 18th Symposium, Calculemus 2011, and 10th International Conference, MKM 2011, Bertinoro, Italy, July 18-23, 2011, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence .6824) （2011. XIV, 312 S.）  Paperback

Herausgegeben von Davenport, James H./ Farmer, William M./ Rabe, Florian/ Urban, Josef

  • ウェブストア価格 ¥13,308（本体¥12,099）
  • SPRINGER, BERLIN（2011発売）
  • ポイント 120pt
  • 海外取次在庫
1～3件／全3件
  •