Interactive Theorem Proving: 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings (Le

Interactive Theorem Proving: 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings (Le

  • List Price: $95.00
  • ISBN-10: 3319221019
  • ISBN-13: 9783319221014
  • Edition: 1st
  • Type: Paperback
  • Publisher: Springer

About The Book

This book constitutes the proceedings of the 6th International Conference on Interactive Theorem Proving, ITP 2015, held in Nanjing, China, in August... Read more

FINDING THE BEST PRICES

Related Books

i>clicker student remote (Gen1): Radio Frequency...
  • Year: 2006
  • Edition: First Edition
  • Publisher: W. H. Freeman
  • Type: Misc. Supplies
  • ISBN13: 9780716779391
  • ISBN: 0716779390
Marketing: An Introduction (10th Edition)
  • Year: 2010
  • Edition: 10th
  • Publisher: Prentice Hall
  • Type: Paperback
  • ISBN13: 9780136102434
  • ISBN: 0136102433
Import / Export For Dummies
  • Year: 2008
  • Edition: 1st
  • Publisher: For Dummies
  • Type: Paperback
  • ISBN13: 9780470260944
  • ISBN: 0470260947