Logic for Programming, Artificial Intelligence, and Reasoning : 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues 6397) (2010. XII, 656 S.)
  • 洋書

Logic for Programming, Artificial Intelligence, and Reasoning : 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues 6397) (2010. XII, 656 S.)  Paperback

Herausgegeben von Fermueller, Christian G./ Voronkov, Andrei

  • ウェブストア価格 ¥27,538(本体¥25,035)
  • SPRINGER, BERLIN(2010発売)
  • ポイント 250pt
  • 海外取次在庫