Theorem Proving in Higher Order Logics, 17th International Conference, TPHOLs 2004, Park City, Utah, USA, September 14-17, 2004, Proceedings - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Konrad Slind, Annette Bunker, Ganesh Gopalakrishnan, editors, Theorem Proving in Higher Order Logics, 17th International Conference, TPHOLs 2004, Park City, Utah, USA, September 14-17, 2004, Proceedings. Volume 3223 of Lecture Notes in Computer Science, Springer, 2004.

Conference: tphol2004

This author has not been identified. Look up 'Konrad Slind' in GoogleThis author has not been identified. Look up 'Annette Bunker' in GoogleThis author has not been identified. Look up 'Ganesh Gopalakrishnan' in Google

runs on WebDSL