Theorem Proving in Higher Order Logics : 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009, Proceedings

ISBN
9783642033582
Format Paperback
Details
  • Active Record
  • Individual Title
  • 1 vol.
  • 2009
  • xi, 517
  • Yes
  • 5674
  • QA75.5-76.95