Higher Order Logic Theorem Proving and Its Applications, 7th International Workshop, Valletta, Malta, September 19-22, 1994, Proceedings - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Thomas F. Melham, Juanito Camilleri, editors, Higher Order Logic Theorem Proving and Its Applications, 7th International Workshop, Valletta, Malta, September 19-22, 1994, Proceedings. Volume 859 of Lecture Notes in Computer Science, Springer, 1994.

Conference: tphol1994

This author has not been identified. Look up 'Thomas F. Melham' in GoogleThis author has not been identified. Look up 'Juanito Camilleri' in Google

runs on WebDSL