Theorem Proving in Higher Order Logics, 14th International Conference, TPHOLs 2001, Edinburgh, Scotland, UK, September 3-6, 2001, Proceedings - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Richard J. Boulton, Paul B. Jackson, editors, Theorem Proving in Higher Order Logics, 14th International Conference, TPHOLs 2001, Edinburgh, Scotland, UK, September 3-6, 2001, Proceedings. Volume 2152 of Lecture Notes in Computer Science, Springer, 2001.

Conference: tphol2001

This author has not been identified. Look up 'Richard J. Boulton' in GoogleThis author has not been identified. Look up 'Paul B. Jackson' in Google

runs on WebDSL