ML Anthology

Analysing Mathematical Proofs (Or Reading Between the Lines)

Alan Bundy
IJCAI 1975 pp. 22-28
/ijcai/1975/bundy1975ijcai-analysing/
PDF IJCAI Semantic Scholar

Cite

Text

Bundy. "Analysing Mathematical Proofs (Or Reading Between the Lines)." International Joint Conference on Artificial Intelligence, 1975.

Markdown

[Bundy. "Analysing Mathematical Proofs (Or Reading Between the Lines)." International Joint Conference on Artificial Intelligence, 1975.](https://mlanthology.org/ijcai/1975/bundy1975ijcai-analysing/)

BibTeX

@inproceedings{bundy1975ijcai-analysing,
  title     = {{Analysing Mathematical Proofs (Or Reading Between the Lines)}},
  author    = {Bundy, Alan},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {1975},
  pages     = {22-28},
  url       = {https://mlanthology.org/ijcai/1975/bundy1975ijcai-analysing/}
}