Download Theorem Proving in Higher Order Logics: 9th International Conference, TPHOLs'96, Turku, Finland, August 26 - 30, 1996, Proceedings (Lecture Notes in Computer Science) Doc
Add Comment
1996,
August 26 - 30,
Finland,
Proceedings (Lecture Notes in Computer Science),
Theorem Proving in Higher Order Logics: 9th International Conference,
TPHOLs'96,
Turku
Edit
Download Theorem Proving in Higher Order Logics: 9th International Conference, TPHOLs'96, Turku, Finland, August 26 - 30, 1996, Procee...
Read More
