Higher Order Logic Theorem Proving and its Applications, 6th International Workshop, HUG 93, Vancouver, BC, Canada, August 11-13, 1993, Proceedings - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Jeffrey J. Joyce, Carl-Johan H. Seger, editors, Higher Order Logic Theorem Proving and its Applications, 6th International Workshop, HUG 93, Vancouver, BC, Canada, August 11-13, 1993, Proceedings. Volume 780 of Lecture Notes in Computer Science, Springer, 1994.

Conference: tphol1994

This author has not been identified. Look up 'Jeffrey J. Joyce' in GoogleThis author has not been identified. Look up 'Carl-Johan H. Seger' in Google

runs on WebDSL