Interactive Theorem Proving : Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings

ISBN
9783642323461
$95.00
Format Paperback
Details
  • Active Record
  • Individual Title
  • 1 vol.
  • 2012
  • xi, 419
  • Yes
  • 7406
  • UYQ UM UR UYF
  • QA75.5-76.95