ML Anthology

Automatic Compilation of Logical Specifications into Efficient Programs

Donald Cohen
AAAI 1986 pp. 21-25
/aaai/1986/cohen1986aaai-automatic/
PDF AAAI Semantic Scholar

Cite

Text

Cohen. "Automatic Compilation of Logical Specifications into Efficient Programs." AAAI Conference on Artificial Intelligence, 1986.

Markdown

[Cohen. "Automatic Compilation of Logical Specifications into Efficient Programs." AAAI Conference on Artificial Intelligence, 1986.](https://mlanthology.org/aaai/1986/cohen1986aaai-automatic/)

BibTeX

@inproceedings{cohen1986aaai-automatic,
  title     = {{Automatic Compilation of Logical Specifications into Efficient Programs}},
  author    = {Cohen, Donald},
  booktitle = {AAAI Conference on Artificial Intelligence},
  year      = {1986},
  pages     = {21-25},
  url       = {https://mlanthology.org/aaai/1986/cohen1986aaai-automatic/}
}