A Generic Modular Data Structure for Proof Attempts Alternating on Ideas and Granularity - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Serge Autexier, Christoph Benzmüller, Dominik Dietrich, Andreas Meier, Claus-Peter Wirth. A Generic Modular Data Structure for Proof Attempts Alternating on Ideas and Granularity. In Michael Kohlhase, editor, Mathematical Knowledge Management, 4th International Conference, MKM 2005, Bremen, Germany, July 15-17, 2005, Revised Selected Papers. Volume 3863 of Lecture Notes in Computer Science, pages 126-142, Springer, 2005. [doi]

This author has not been identified. Look up 'Serge Autexier' in GoogleThis author has not been identified. Look up 'Christoph Benzmüller' in GoogleThis author has not been identified. Look up 'Dominik Dietrich' in GoogleThis author has not been identified. Look up 'Andreas Meier' in GoogleThis author has not been identified. Look up 'Claus-Peter Wirth' in Google

runs on WebDSL