×
  • Theorem Proving in Higher Order Logics: 17th International Conference, TPHOLS 2004, Park City, Utah, USA, September 14-17, 2004, Proceedings

    Konrad Slind

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