Automated Deduction – CADE 26〈1st ed. 2017〉 : 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6–11, 2017, Proceedings
  • 洋書電子書籍
  • 電子書籍

Automated Deduction – CADE 26〈1st ed. 2017〉 : 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6–11, 2017, Proceedings  言語:ENG

de Moura, Leonardo (EDT)

  • 価格 ¥16,189(本体¥14,718)
  • Springer(2017/07/09発売)
  • ポイント 147pt (実際に付与されるポイントはご注文内容確認画面でご確認下さい)
Intelligent Computer Mathematics〈1st ed. 2016〉 : 9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedings
  • 洋書電子書籍
  • 電子書籍

Intelligent Computer Mathematics〈1st ed. 2016〉 : 9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedings  言語:ENG

Kohlhase, Michael (EDT)/Johansson, Moa (EDT)/Miller, Bruce (EDT)/de Moura, Leonardo (EDT)/Tompa, Frank (EDT)

  • 価格 ¥8,093(本体¥7,358)
  • Springer(2016/07/11発売)
  • ポイント 73pt (実際に付与されるポイントはご注文内容確認画面でご確認下さい)