Theorem Proving in Higher Order Logics, 16th International Conference, TPHOLs 2003, Rom, Italy, September 8-12, 2003, Proceedings - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

David A. Basin, Burkhart Wolff, editors, Theorem Proving in Higher Order Logics, 16th International Conference, TPHOLs 2003, Rom, Italy, September 8-12, 2003, Proceedings. Volume 2758 of Lecture Notes in Computer Science, Springer, 2003.

Conference: tphol2003

This author has not been identified. Look up 'David A. Basin' in GoogleThis author has not been identified. Look up 'Burkhart Wolff' in Google

runs on WebDSL