Computing Publications

Publications Home » Managing Automatically Formed Mat...

Managing Automatically Formed Mathematical Theories

Simon Colton, Pedro Torres, Paul Cairns, Volker Sorge

Conference or Workshop Paper
5th International Conference on Mathematical Knowledge Management
August, 2006
PDF of full publication (369 kilobytes)
(need help viewing PDF files?)
BibTEX file for the publication
N.B.
Conditions for downloading publications from this site.
 

pubs.doc.ic.ac.uk: built & maintained by Ashok Argent-Katwala.