Automated Deduction - CADE-19 : 19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings (Lecture Notes in Computer Science Vol.2741) (2003. XII, 503 p. 23,5 cm)
  • 洋書

Automated Deduction - CADE-19 : 19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings (Lecture Notes in Computer Science Vol.2741) (2003. XII, 503 p. 23,5 cm)  Paperback,  言語:ENG

Ed. by Franz Baader

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