Automated Deduction - CADE 28 : 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings (Lecture Notes in Artificial Intelligence)
  • 洋書

Automated Deduction - CADE 28 : 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings (Lecture Notes in Artificial Intelligence)  Paperback,  言語:ENG

Platzer, André (EDT)/ Sutcliffe, Geoff (EDT)

  • ウェブストア価格 ¥10,135(本体¥9,214)
  • Springer Nature Switzerland AG(2021/07発売)
  • ポイント 92pt
  • 海外取次在庫