Openproof - A Flexible Framework for Heterogeneous Reasoning - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Dave Barker-Plummer, John Etchemendy, Albert Liu, Michael Murray, Nik Swoboda. Openproof - A Flexible Framework for Heterogeneous Reasoning. In Gem Stapleton, John Howse, John Lee, editors, Diagrammatic Representation and Inference, 5th International Conference, Diagrams 2008, Herrsching, Germany, September 19-21, 2008. Proceedings. Volume 5223 of Lecture Notes in Computer Science, pages 347-349, Springer, 2008. [doi]

This author has not been identified. Look up 'Dave Barker-Plummer' in GoogleThis author has not been identified. Look up 'John Etchemendy' in GoogleThis author has not been identified. Look up 'Albert Liu' in GoogleThis author has not been identified. Look up 'Michael Murray' in GoogleThis author has not been identified. Look up 'Nik Swoboda' in Google

runs on WebDSL