×
  • Theorem Proving in Higher Order Logics: 9th International Conference, TPHOLs’96 Turku, Finland, August 26–30, 1996 Proceedings

    Sten Agerholm (auth.)

Click on cover to enlarge.
Buy This Book
From Amazon.