Automatic Concept Formation in Pure Mathematics

Simon Colton, Alan Bundy, Toby Walsh. Automatic Concept Formation in Pure Mathematics. In Thomas Dean, editor, Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence, IJCAI 99, Stockholm, Sweden, July 31 - August 6, 1999. 2 Volumes, 1450 pages. pages 786-793, Morgan Kaufmann, 1999.

@inproceedings{ColtonBW99,
  title = {Automatic Concept Formation in Pure Mathematics},
  author = {Simon Colton and Alan Bundy and Toby Walsh},
  year = {1999},
  researchr = {https://researchr.org/publication/ColtonBW99},
  cites = {0},
  citedby = {0},
  pages = {786-793},
  booktitle = {Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence, IJCAI 99, Stockholm, Sweden, July 31 - August 6, 1999. 2 Volumes, 1450 pages},
  editor = {Thomas Dean},
  publisher = {Morgan Kaufmann},
  isbn = {1-55860-613-0},
}