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]
No references recorded for this publication.
No citations of this publication recorded.