## Managing automatically formed mathematical theories (2006)

### Cached

### Download Links

- [www.doc.ic.ac.uk]
- [www-users.cs.york.ac.uk]
- [www.doc.ic.ac.uk]
- [pubs.doc.ic.ac.uk]
- [dev.pubs.doc.ic.ac.uk]
- DBLP

### Other Repositories/Bibliography

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 |