UScholar Works
 
Filters: Department: "Computing, School of" Format: "application/pdf" Subject: "Theorem proving"
1 - 25 of 1
Number of results to display per page
TitleDateType
1 Emerging trends proceedings of the 17th International Conference on Theorem Proving in Higher Order Logics: TPHOLs 20042004-08Text
1 - 25 of 1