Edinburgh Research Explorer

Automatic Concept Formation in Pure Mathematics

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

Standard

Automatic Concept Formation in Pure Mathematics. / Colton, Simon; Bundy, Alan; Walsh, Toby.

Proceedings of the 16th international joint conference on Artificial Intelligence - IJCAI '99. MORGAN KAUFMANN PUB INC, 1999. p. 786-791.

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

Harvard

Colton, S, Bundy, A & Walsh, T 1999, Automatic Concept Formation in Pure Mathematics. in Proceedings of the 16th international joint conference on Artificial Intelligence - IJCAI '99. MORGAN KAUFMANN PUB INC, pp. 786-791.

APA

Colton, S., Bundy, A., & Walsh, T. (1999). Automatic Concept Formation in Pure Mathematics. In Proceedings of the 16th international joint conference on Artificial Intelligence - IJCAI '99 (pp. 786-791). MORGAN KAUFMANN PUB INC.

Vancouver

Colton S, Bundy A, Walsh T. Automatic Concept Formation in Pure Mathematics. In Proceedings of the 16th international joint conference on Artificial Intelligence - IJCAI '99. MORGAN KAUFMANN PUB INC. 1999. p. 786-791.

Author

Colton, Simon ; Bundy, Alan ; Walsh, Toby. / Automatic Concept Formation in Pure Mathematics. Proceedings of the 16th international joint conference on Artificial Intelligence - IJCAI '99. MORGAN KAUFMANN PUB INC, 1999. pp. 786-791