Interactive Theorem Proving: Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011, Proceedings (Lecture Notes ... Computer Science and General Issues)

by HermanGeuvers (Editor), Freek Wiedijk (Editor), Markovan Eekelen (Editor), JulienSchmaltz (Editor)

• New

  Paperback
  2011

  $67.66

  This book constitutes the refereed proceedings of the Second International Conference on Interactive Theorem proving, ITP 2011, held in Berg en Dal, The Netherlands, in August 2011.