×
  • Theorem Proving in Higher Order Logics: 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009. Proceedings

    David Basin

Click on cover to enlarge.
Buy This Book
From Amazon.
11 - 13Hours to read