Proof Transformation by CERES - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Matthias Baaz, Stefan Hetzl, Alexander Leitsch, Clemens Richter, Hendrik Spohr. Proof Transformation by CERES. In Jonathan M. Borwein, William M. Farmer, editors, Mathematical Knowledge Management, 5th International Conference, MKM 2006, Wokingham, UK, August 11-12, 2006, Proceedings. Volume 4108 of Lecture Notes in Computer Science, pages 82-93, Springer, 2006. [doi]

This author has not been identified. Look up 'Matthias Baaz' in GoogleThis author has not been identified. Look up 'Stefan Hetzl' in GoogleThis author has not been identified. Look up 'Alexander Leitsch' in GoogleThis author has not been identified. Look up 'Clemens Richter' in GoogleThis author has not been identified. Look up 'Hendrik Spohr' in Google

runs on WebDSL