Automated Reasoning : Thrid International Joint Conference, IJCAR 2006, Seattle, WA, Proceedings (Lecture Notes in Computer Science) 〈Vol. 4130〉
  • 洋書
  • ポイントキャンペーン

Automated Reasoning : Thrid International Joint Conference, IJCAR 2006, Seattle, WA, Proceedings (Lecture Notes in Computer Science) 〈Vol. 4130〉  Paperback,  言語:ENG

Furbach, Ulrich (EDT)/ Shankar, Natarajan (EDT)

  • ウェブストア価格 ¥23,849(本体¥21,681)
  • Springer(2007/01発売)
  • ポイント 1,080pt
  • 海外取次在庫