Automated Reasoning : 9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings (Lecture Notes in Artificial Intelligence)
  • 洋書
  • 電子版あり

Automated Reasoning : 9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings (Lecture Notes in Artificial Intelligence)  Paperback,  言語:ENG

Galmiche, Didier (EDT)/ Schulz, Stephan (EDT)/ Sebastiani, Roberto (EDT)

  • ウェブストア価格 ¥11,380(本体¥10,346)
  • Springer International Publishing AG(2018/07発売)
  • ポイント 103pt
  • 海外取次在庫