Theory and Applications of Satisfiability Testing, SAT 2003 : 6th International Conference, SAT 2003. Santa Margherita Ligure, Italy, May 5-8, 2003. Selected Revised Papers (Lecture Notes in Computer Science Vol.2919) (2004. XI, 530 p. 23,5 cm)
  • 洋書

Theory and Applications of Satisfiability Testing, SAT 2003 : 6th International Conference, SAT 2003. Santa Margherita Ligure, Italy, May 5-8, 2003. Selected Revised Papers (Lecture Notes in Computer Science Vol.2919) (2004. XI, 530 p. 23,5 cm)  Paperback,  言語:ENG

Ed. by Enrico Giunchiglia and Armando Tacchella

  • ウェブストア価格 ¥13,231(本体¥12,029)
  • SPRINGER, BERLIN(2004発売)
  • ポイント 120pt
  • 海外取次在庫