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/}
}