×
  • Theorem Proving in Higher Order Logics: 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008. Proceedings

    Mike Gordon (auth.)

Click on cover to enlarge.
Buy This Book
From Amazon.
7 - 8Hours to read