Theorem Proving in Higher Order Logics : 13th International Conference, TPHOLs 2000, Portland, Or, USA , August 2000 - Proceedings

ISBN
9783540678632
$139.00
Format Paperback
Details
  • Active Record
  • Individual Title
  • Books
  • 1 vol.
  • 2000
  • ix, 539
  • Yes
  • 1869
  • Print
  • QA75.5-76.95