Theorem Proving in Higher Order Logics, 9th International Conference, TPHOLs 96, Turku, Finland, August 26-30, 1996, Proceedings - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Joakim von Wright, Jim Grundy, John Harrison, editors, Theorem Proving in Higher Order Logics, 9th International Conference, TPHOLs 96, Turku, Finland, August 26-30, 1996, Proceedings. Volume 1125 of Lecture Notes in Computer Science, Springer, 1996.

Conference: tphol1996

This author has not been identified. Look up 'Joakim von Wright' in GoogleThis author has not been identified. Look up 'Jim Grundy' in GoogleThis author has not been identified. Look up 'John Harrison' in Google

runs on WebDSL