UScholar Works
 
Filters: Department: "Computing, School of" Date: "2004-08" Collection: ir_uspace
1 - 25 of 1
Number of results to display per page
CreatorTitleDescriptionSubjectDate
1 Slind, Konrad LeeEmerging trends proceedings of the 17th International Conference on Theorem Proving in Higher Order Logics: TPHOLs 2004This volume constitutes the proceedings of the Emerging Trends track of the 17th International Conference on Theorem Proving in Higher Order Logics (TPHOLs 2004) held September 14-17, 2004 in Park City, Utah, USA. The TPHOLs conference covers all aspects of theorem proving in higher order logics ...Theorem proving; Higher order logics2004-08
1 - 25 of 1