Managing automatically formed mathematical theories (2006)

by Simon Colton , Pedro Torres , Paul Cairns , Volker Sorge
Venue:In Proceedings of the 5th International Conference on Mathematical Knowledge Management
Citations:4 - 3 self