×
  • Theorem Proving in Higher Order Logics: 10th International Conference, TPHOLs '97 Murray Hill, NJ, USA, August 19–22, 1997 Proceedings

    Sten Agerholm

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