ML Anthology

Automatic Concept Formation in Pure Mathematics

Simon Colton, Alan Bundy, Toby Walsh
IJCAI 1999 pp. 786-793
/ijcai/1999/colton1999ijcai-automatic/
PDF IJCAI Semantic Scholar

Cite

Text

Colton et al. "Automatic Concept Formation in Pure Mathematics." International Joint Conference on Artificial Intelligence, 1999.

Markdown

[Colton et al. "Automatic Concept Formation in Pure Mathematics." International Joint Conference on Artificial Intelligence, 1999.](https://mlanthology.org/ijcai/1999/colton1999ijcai-automatic/)

BibTeX

@inproceedings{colton1999ijcai-automatic,
  title     = {{Automatic Concept Formation in Pure Mathematics}},
  author    = {Colton, Simon and Bundy, Alan and Walsh, Toby},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {1999},
  pages     = {786-793},
  url       = {https://mlanthology.org/ijcai/1999/colton1999ijcai-automatic/}
}