Discovery and Reasoning in Mathematics

Bundy. "Discovery and Reasoning in Mathematics." International Joint Conference on Artificial Intelligence, 1985.

[Bundy. "Discovery and Reasoning in Mathematics." International Joint Conference on Artificial Intelligence, 1985.](https://mlanthology.org/ijcai/1985/bundy1985ijcai-discovery/)

@inproceedings{bundy1985ijcai-discovery,
  title     = {{Discovery and Reasoning in Mathematics}},
  author    = {Bundy, Alan},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {1985},
  pages     = {1221-1230},
  url       = {https://mlanthology.org/ijcai/1985/bundy1985ijcai-discovery/}
}