Theorem Proving in Higher Order Logics : 20th International Conference, TPHOLs 2007 Kaiserslautern, Germany, September 2007 Proceedings

ISBN
9783540745907
$119.00
Format Paperback
Details
  • 9.3" x 6.1" x 0.4"
  • Active Record
  • Individual Title
  • 1 vol.
  • 2007
  • viii, 404
  • Yes
  • 4732
  • QA75.5-76.95