Automated Deduction - CADE 27 : 27th International Conference on Automated Deduction, Natal, Brazil, August 27-30, 2019, Proceedings (Lecture Notes in Artificial Intelligence)
  • 洋書
  • 電子版あり

Automated Deduction - CADE 27 : 27th International Conference on Automated Deduction, Natal, Brazil, August 27-30, 2019, Proceedings (Lecture Notes in Artificial Intelligence)  Paperback,  言語:ENG

Fontaine, Pascal (EDT)

  • ウェブストア価格 ¥18,878(本体¥17,162)
  • Springer Nature Switzerland AG(2019/08発売)
  • ポイント 171pt
  • 海外取次在庫