Symbolic Computation in Software Science : 10th International Symposium, SCSS 2024, Tokyo, Japan, August 28-30, 2024, Proceedings (Lecture Notes in Artificial Intelligence) (2024)
  • 洋書

Symbolic Computation in Software Science : 10th International Symposium, SCSS 2024, Tokyo, Japan, August 28-30, 2024, Proceedings (Lecture Notes in Artificial Intelligence) (2024)  Paperback,  言語:ENG

Watt, Stephen M. (EDT)/ Ida, Tetsuo (EDT)

  • ウェブストア価格 ¥26,524(本体¥24,113)
  • Springer International Publishing AG(2024/08発売)
  • ポイント 241pt
  • 海外取次在庫
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)

  • ウェブストア価格 ¥11,049(本体¥10,045)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2013/09発売)
  • ポイント 100pt
  • 海外取次在庫