Automated Theory Formation in Mathematics

Cite

Text

Lenat. "Automated Theory Formation in Mathematics." International Joint Conference on Artificial Intelligence, 1977. doi:10.1090/conm/029/15

Markdown

[Lenat. "Automated Theory Formation in Mathematics." International Joint Conference on Artificial Intelligence, 1977.](https://mlanthology.org/ijcai/1977/lenat1977ijcai-automated/) doi:10.1090/conm/029/15

BibTeX

@inproceedings{lenat1977ijcai-automated,
  title     = {{Automated Theory Formation in Mathematics}},
  author    = {Lenat, Douglas B.},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {1977},
  pages     = {833-842},
  doi       = {10.1090/conm/029/15},
  url       = {https://mlanthology.org/ijcai/1977/lenat1977ijcai-automated/}
}