Theorem Proving in Higher Order Logics : 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005, Proceedings

ISBN
9783540283720
$119.00
Format Paperback
Details
  • Active Record
  • Individual Title
  • 1 vol.
  • 2005
  • x, 414
  • Yes
  • 3603
  • Combination of Multiple Bindings
  • QA75.5-76.95