Finite-Model Theory and Its Applications (Texts in Theoretical Computer Science, An EATCS Series)
  • 洋書
  • ポイントキャンペーン

Finite-Model Theory and Its Applications (Texts in Theoretical Computer Science, An EATCS Series)  Hardcover,  言語:ENG

Vardi, Moshe Y./ Weinstein, S.

  • Springer(2007発売)
  • ご注文いただけません
Logic for Programming Artificial Intelligence and Reasoning : 10th International Conference, Lpar 2003, Almaty, Kazakhstan, September 22-26, 2003 : Pr
  • 洋書
  • ポイントキャンペーン

Logic for Programming Artificial Intelligence and Reasoning : 10th International Conference, Lpar 2003, Almaty, Kazakhstan, September 22-26, 2003 : Pr  Paperback,  言語:ENG

Lpar 2003 Alma-Ata (Kazakhstan))/ Vardi, Moshe Y./ Voronkov, Andrei/ V

  • ウェブストア価格 ¥11,922(本体¥10,839)
  • Springer Verlag(2003/09発売)
  • ポイント 540pt
  • 海外取次在庫