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
Read or Download Now http://librarysecret.com/?book=3540440399