Interactive Theorem Proving : First International Conference, ITP 2010 Edinburgh, UK, July 11-14, 2010, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues 6172) (2010. XI, 495 S.)
  • 洋書
  • ポイントキャンペーン

Interactive Theorem Proving : First International Conference, ITP 2010 Edinburgh, UK, July 11-14, 2010, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues 6172) (2010. XI, 495 S.)  Paperback,  言語:ENG

Herausgegeben von Kaufmann, Matt/ Paulson, Lawrence C.

  • ウェブストア価格 ¥24,272(本体¥22,066)
  • SPRINGER, BERLIN(2010発売)
  • ポイント 440pt
  • 海外取次在庫