Logic for Programming, Artificial Intelligence, and Reasoning : 12th International Conference, Lpar 2005, Montego Bay, Jamaica, December 2-6, 2005, Pr
  • 洋書
  • ポイントキャンペーン

Logic for Programming, Artificial Intelligence, and Reasoning : 12th International Conference, Lpar 2005, Montego Bay, Jamaica, December 2-6, 2005, Pr  Paperback,  言語:ENG

Sutcliffe, Geoff (EDT)/ Voronkov, Andrei (EDT)

  • ウェブストア価格 ¥24,313(本体¥22,103)
  • Springer-Verlag New York Inc(2006/02発売)
  • ポイント 1,105pt
  • 海外取次在庫
Automated Deduction - CADE 28 : 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings (Lecture Notes in Computer Science)
  • 洋書
  • ポイントキャンペーン

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

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

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