ML Anthology

Understanding Without Proofs

Yorick Wilks
IJCAI 1973 pp. 270-277
/ijcai/1973/wilks1973ijcai-understanding/
PDF IJCAI Semantic Scholar

Cite

Text

Wilks. "Understanding Without Proofs." International Joint Conference on Artificial Intelligence, 1973.

Markdown

[Wilks. "Understanding Without Proofs." International Joint Conference on Artificial Intelligence, 1973.](https://mlanthology.org/ijcai/1973/wilks1973ijcai-understanding/)

BibTeX

@inproceedings{wilks1973ijcai-understanding,
  title     = {{Understanding Without Proofs}},
  author    = {Wilks, Yorick},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {1973},
  pages     = {270-277},
  url       = {https://mlanthology.org/ijcai/1973/wilks1973ijcai-understanding/}
}