ML Anthology

The Layered Architecture of a System for Reasoning About Programs

Charles Rich
IJCAI 1985 pp. 540-546
/ijcai/1985/rich1985ijcai-layered/
PDF IJCAI Semantic Scholar

Cite

Text

Rich. "The Layered Architecture of a System for Reasoning About Programs." International Joint Conference on Artificial Intelligence, 1985.

Markdown

[Rich. "The Layered Architecture of a System for Reasoning About Programs." International Joint Conference on Artificial Intelligence, 1985.](https://mlanthology.org/ijcai/1985/rich1985ijcai-layered/)

BibTeX

@inproceedings{rich1985ijcai-layered,
  title     = {{The Layered Architecture of a System for Reasoning About Programs}},
  author    = {Rich, Charles},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {1985},
  pages     = {540-546},
  url       = {https://mlanthology.org/ijcai/1985/rich1985ijcai-layered/}
}