×
  • Theorem Proving in Higher Order Logics: 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005. Proceedings

    Mauro Gargano

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