Theory Links in Semantic Graphs - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Neil V. Murray, Erik Rosenthal. Theory Links in Semantic Graphs. In Jörg H. Siekmann, editor, 8th International Conference on Automated Deduction, Oxford, England, July 27 - August 1, 1986, Proceedings. Volume 230 of Lecture Notes in Computer Science, pages 353-364, Springer, 1986.

This author has not been identified. Look up 'Neil V. Murray' in GoogleThis author has not been identified. Look up 'Erik Rosenthal' in Google

runs on WebDSL