Theorem Proving in Higher Order Logics : 16th International Conference, TPHOLs 2003, Rome, Italy, September 2003, Proceedings

ISBN
9783540406648
$109.00
Format Paperback
Details
  • Active Record
  • Individual Title
  • Books
  • 1 vol.
  • 2003
  • x, 366
  • Yes
  • 2758
  • Print
  • B1-5802