Edinburgh Research Explorer

The Use of Classification in Automated Mathematical Concept Formation

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Standard

The Use of Classification in Automated Mathematical Concept Formation. / Colton, S.; Cresswell, S.; Bundy, Alan.

Proceedings of SimCat 1997: An Interdisciplinary Workshop on Similarity and Categorisation, November 28-30, 1997, Edinburgh University. Department of Artificical Intelligence, Edinburgh University, 1997.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Harvard

Colton, S, Cresswell, S & Bundy, A 1997, The Use of Classification in Automated Mathematical Concept Formation. in Proceedings of SimCat 1997: An Interdisciplinary Workshop on Similarity and Categorisation, November 28-30, 1997, Edinburgh University. Department of Artificical Intelligence, Edinburgh University, Proceedings of SimCat 1997: An Interdisciplinary Workshop on Similarity and Categorisation, Edinburgh, United Kingdom, 1/01/97.

APA

Colton, S., Cresswell, S., & Bundy, A. (1997). The Use of Classification in Automated Mathematical Concept Formation. In Proceedings of SimCat 1997: An Interdisciplinary Workshop on Similarity and Categorisation, November 28-30, 1997, Edinburgh University Department of Artificical Intelligence, Edinburgh University.

Vancouver

Colton S, Cresswell S, Bundy A. The Use of Classification in Automated Mathematical Concept Formation. In Proceedings of SimCat 1997: An Interdisciplinary Workshop on Similarity and Categorisation, November 28-30, 1997, Edinburgh University. Department of Artificical Intelligence, Edinburgh University. 1997.

Author

Colton, S. ; Cresswell, S. ; Bundy, Alan. / The Use of Classification in Automated Mathematical Concept Formation. Proceedings of SimCat 1997: An Interdisciplinary Workshop on Similarity and Categorisation, November 28-30, 1997, Edinburgh University. Department of Artificical Intelligence, Edinburgh University, 1997.