1～3件／全3件 セーフサーチON
  •  
A Combination of Geometry Theorem Proving and Nonstandard Analysis with Application to Newton's Principia (Distinguished Dissertations)
  • 洋書

A Combination of Geometry Theorem Proving and Nonstandard Analysis with Application to Newton's Principia (Distinguished Dissertations)  Paperback,  言語：ENG

Fleuriot, Jacques

  • ウェブストア価格 ¥22,609（本体¥20,554）
  • Springer London Ltd（2012/09発売）
  • ポイント 205pt
  • 海外取次在庫
Automated Deduction in Geometry : 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers (Lecture Notes in Artificial Intelligence) （2013）
  • 洋書

Automated Deduction in Geometry : 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers (Lecture Notes in Artificial Intelligence) （2013）  Paperback,  言語：ENG

Ida, Tetsuo (EDT)/ Fleuriot, Jacques (EDT)

  • ウェブストア価格 ¥10,276（本体¥9,342）
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K（2013/09発売）
  • ポイント 93pt
  • 海外取次在庫
Artificial Intelligence and Symbolic Computation : 13th International Conference, AISC 2018, Suzhou, China, September 16-19, 2018, Proceedings (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり

Artificial Intelligence and Symbolic Computation : 13th International Conference, AISC 2018, Suzhou, China, September 16-19, 2018, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語：ENG

Fleuriot, Jacques (EDT)/ Wang, Dongming (EDT)/ Calmet, Jacques (EDT)

  • ウェブストア価格 ¥11,303（本体¥10,276）
  • Springer International Publishing AG（2018/08発売）
  • ポイント 102pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
1～3件／全3件
  •