Read Theorem Proving in Higher Order Logics: 15th International Conference, TPHOLs 2002, Hampton,

  • 8 years ago
Theorem Proving in Higher Order Logics: 15th International Conference, TPHOLs 2002, Hampton, VA, USA, August 20-23, 2002. Proceedings





Read or Download Now http://librarysecret.com/?book=3540440399