Logical Foundations for Cognitive Agents : Contributions in Honor of Ray Reiter (Artificial Intelligence) (Reprint)
  • 洋書

Logical Foundations for Cognitive Agents : Contributions in Honor of Ray Reiter (Artificial Intelligence) (Reprint)  Paperback,  言語:ENG

Levesque, Hector J. (EDT)/ Pirri, Fiora (EDT)

  • ウェブストア価格 ¥12,001(本体¥10,910)
  • Springer-Verlag New York Inc(2012/07発売)
  • ポイント 109pt
  • 海外取次在庫
Automated Reasoning with Analytic Tableaux and Related Methods : International Conference, Tableaux 2003, Rome, Italy, September 9-12, 2003 : Proceedi
  • 洋書

Automated Reasoning with Analytic Tableaux and Related Methods : International Conference, Tableaux 2003, Rome, Italy, September 9-12, 2003 : Proceedi  Paperback,  言語:ENG

Tableaux 200 (2003 Rome, Italy)/ Cialdea Mayer, Marta/ Pirri, Fiora

  • ウェブストア価格 ¥12,001(本体¥10,910)
  • Springer Verlag(2003/08発売)
  • ポイント 109pt
  • 海外取次在庫
Logical Foundations for Cognitive Agents : Contributions in Honor of Ray Reiter (Artificial Intelligence)
  • 洋書

Logical Foundations for Cognitive Agents : Contributions in Honor of Ray Reiter (Artificial Intelligence)  Hardcover,  言語:ENG

Levesque, Hector J. (EDT)/ Pirri, F. (EDT)

  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(1999/06発売)
  • ご注文いただけません