Theory and Applications of Satisfiability Testing - Sat 2006 : 9th International Conference, Seattle, Wa, Usa, August 12-15, 2006, Proceedings (Lectur
  • 洋書
  • ポイントキャンペーン

Theory and Applications of Satisfiability Testing - Sat 2006 : 9th International Conference, Seattle, Wa, Usa, August 12-15, 2006, Proceedings (Lectur  Paperback,  言語:ENG

Biere, Armin (EDT)/ Gomes, Carla P. (EDT)

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