×
  • Theorem Proving in Higher Order Logics: 14th International Conference, TPHOLs 2001 Edinburgh, Scotland, UK, September 3–6, 2001 Proceedings

    Bart Jacobs (auth.)

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