Automated Reasoning : 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings, Part II (Lecture Notes in Computer Science) (2024)
  • 洋書
  • ポイントキャンペーン

Automated Reasoning : 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings, Part II (Lecture Notes in Computer Science) (2024)  Paperback

Benzmüller, Christoph (EDT)/ Heule, Marijn J.H. (EDT)/ Schmidt, Renate A. (EDT)

  • ウェブストア価格 ¥17,231(本体¥15,665)
  • Springer International Publishing AG(2024/07発売)
  • ポイント 312pt
  • 海外取次在庫
Automated Reasoning : 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings, Part I (Lecture Notes in Artificial Intelligence) (2024)
  • 洋書
  • ポイントキャンペーン

Automated Reasoning : 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings, Part I (Lecture Notes in Artificial Intelligence) (2024)  Paperback,  言語:ENG

Benzmüller, Christoph (EDT)/ Heule, Marijn J.H. (EDT)/ Schmidt, Renate A. (EDT)

  • ウェブストア価格 ¥9,691(本体¥8,810)
  • Springer International Publishing AG(2024/07発売)
  • ポイント 176pt
  • 海外からお取り寄せ(通常6~9週間)
Logic and Argumentation : 4th International Conference, CLAR 2021, Hangzhou, China, October 20-22, 2021, Proceedings (Lecture Notes in Computer Science)
  • 洋書
  • ポイントキャンペーン

Logic and Argumentation : 4th International Conference, CLAR 2021, Hangzhou, China, October 20-22, 2021, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Baroni, Pietro (EDT)/ Benzmüller, Christoph (EDT)/ Wáng, Yὶ N. (EDT)

  • ウェブストア価格 ¥21,540(本体¥19,582)
  • Springer Nature Switzerland AG(2021/10発売)
  • ポイント 390pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
KI 2019: Advances in Artificial Intelligence : 42nd German Conference on AI, Kassel, Germany, September 23-26, 2019, Proceedings (Lecture Notes in Artificial Intelligence) (2019)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

KI 2019: Advances in Artificial Intelligence : 42nd German Conference on AI, Kassel, Germany, September 23-26, 2019, Proceedings (Lecture Notes in Artificial Intelligence) (2019)  Paperback,  言語:ENG

Benzmüller, Christoph (EDT)/ Stuckenschmidt, Heiner (EDT)

  • ウェブストア価格 ¥16,154(本体¥14,686)
  • Springer Nature Switzerland AG(2019/08発売)
  • ポイント 292pt
  • 海外取次在庫
Rules and Reasoning : Second International Joint Conference, RuleML+RR 2018, Luxembourg, Luxembourg, September 18-21, 2018, Proceedings (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Rules and Reasoning : Second International Joint Conference, RuleML+RR 2018, Luxembourg, Luxembourg, September 18-21, 2018, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Benzmüller, Christoph (EDT)/ Ricca, Francesco (EDT)/ Parent, Xavier (EDT)

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