×
  • Theorem Proving in Higher Order Logics: 12th International Conference, TPHOLs’ 99 Nice, France, September 14–17, 1999 Proceedings

    Thomas Kropf (auth.)

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