Automated Reasoning: Real Uses and Potential Uses

Wos, Larry

Automated Reasoning: Real Uses and Potential Uses

Larry Wos

IJCAI 1983 pp. 867-876

/ijcai/1983/wos1983ijcai-automated/

PDF Semantic Scholar

Cite

Text

Wos. "Automated Reasoning: Real Uses and Potential Uses." International Joint Conference on Artificial Intelligence, 1983.

Markdown

[Wos. "Automated Reasoning: Real Uses and Potential Uses." International Joint Conference on Artificial Intelligence, 1983.](https://mlanthology.org/ijcai/1983/wos1983ijcai-automated/)

BibTeX

@inproceedings{wos1983ijcai-automated,
  title     = {{Automated Reasoning: Real Uses and Potential Uses}},
  author    = {Wos, Larry},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {1983},
  pages     = {867-876},
  url       = {https://mlanthology.org/ijcai/1983/wos1983ijcai-automated/}
}