1～2件／全2件 セーフサーチON
  •  
Automated Reasoning with Analytic Tableaux and Related Methods : 22nd International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013, Proceedings (Lecture Notes in Computer Science)
  • 洋書
  • ポイントキャンペーン

Automated Reasoning with Analytic Tableaux and Related Methods : 22nd International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語：ENG

Galmiche, Didier (EDT)/ Larchey-Wendling, Dominique (EDT)

  • ウェブストア価格 ¥10,698（本体¥9,726）
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K（2013/08発売）
  • ポイント 194pt
  • 海外取次在庫
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,767（本体¥10,698）
  • Springer International Publishing AG（2018/07発売）
  • ポイント 212pt
  • 海外取次在庫
1～2件／全2件
  •