Automated Deduction in Geometry : 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers (Lecture Notes in Computer Science) (2013)
  • 洋書

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

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

  • ウェブストア価格 ¥10,487(本体¥9,534)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2013/09発売)
  • ポイント 95pt
  • 海外取次在庫
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,535(本体¥10,487)
  • Springer International Publishing AG(2018/08発売)
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。