Managing Automatically Formed Mathematical Theories - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Simon Colton, Pedro Torres, Paul A. Cairns, Volker Sorge. Managing Automatically Formed Mathematical Theories. 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 237-250, Springer, 2006. [doi]

This author has not been identified. Look up 'Simon Colton' in GoogleThis author has not been identified. Look up 'Pedro Torres' in GoogleThis author has not been identified. Look up 'Paul A. Cairns' in GoogleThis author has not been identified. Look up 'Volker Sorge' in Google

runs on WebDSL