Interactive Theorem Proving : 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013, Proceedings

ISBN
9783642396335
$84.99
Format Paperback
Details
  • 9.3" x 6.1" x 0.4"
  • Active Record
  • Individual Title
  • 1 vol.
  • 2013
  • xii, 498
  • Yes
  • 7998
  • QA75.5-76.95