Download Theorem Proving in Higher Order Logics: 17th International Conference, TPHOLS 2004, Park City, Utah, USA, September 14-17, 2004, Proceedings (Lecture Notes in Computer Science (3223)) Hardcover
Add Comment
2004,
Park City,
Proceedings (Lecture Notes in Computer Science (3223)),
September 14-17,
Theorem Proving in Higher Order Logics: 17th International Conference,
TPHOLS 2004,
USA,
Utah
Edit
Read Theorem Proving in Higher Order Logics: 17th International Conference, TPHOLS 2004, Park City, Utah, USA, September 14-17, 2004, Proce...
Read More