Interactive Theorem Proving : Second International Conference, ITP 2011, Berg en Dal, the Netherlands, August 22-25, 2011, Proceedings

ISBN
9783642228629
$89.99
Format Paperback
Details
  • Active Record
  • Individual Title
  • 1 vol.
  • 2011
  • xi, 383
  • Yes
  • 6898
  • QA75.5-76.95