ML Anthology

Proving Facts About " "

Michael J. Miller, Donald Perlis
IJCAI 1987 pp. 499-501
/ijcai/1987/miller1987ijcai-proving/
PDF IJCAI Semantic Scholar

Cite

Text

Miller and Perlis. "Proving Facts About " "." International Joint Conference on Artificial Intelligence, 1987.

Markdown

[Miller and Perlis. "Proving Facts About " "." International Joint Conference on Artificial Intelligence, 1987.](https://mlanthology.org/ijcai/1987/miller1987ijcai-proving/)

BibTeX

@inproceedings{miller1987ijcai-proving,
  title     = {{Proving Facts About " "}},
  author    = {Miller, Michael J. and Perlis, Donald},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {1987},
  pages     = {499-501},
  url       = {https://mlanthology.org/ijcai/1987/miller1987ijcai-proving/}
}