×
  • Theorem Proving in Higher Order Logics: 11th International Conference, TPHOLs'98 Canberra, Australia September 27–October 1, 1998 Proceedings

    Tobias Nipkow (auth.)

Click on cover to enlarge.
Buy This Book
From Amazon.
11 - 13Hours to read