Read Theorem Proving in Higher Order Logics: 17th International Conference, TPHOLS 2004, Park
- 8 years ago
Theorem Proving in Higher Order Logics: 17th International Conference, TPHOLS 2004, Park City, Utah, USA, September 14-17, 2004, Proceedings
Read or Download Now http://librarysecret.com/?book=3540230173
Read or Download Now http://librarysecret.com/?book=3540230173