Symbolic Execution of the Gist Specification Language

IJCAI 1983 pp. 17-20

/ijcai/1983/cohen1983ijcai-symbolic/

Cite

Text

Cohen. "Symbolic Execution of the Gist Specification Language." International Joint Conference on Artificial Intelligence, 1983.

Markdown

[Cohen. "Symbolic Execution of the Gist Specification Language." International Joint Conference on Artificial Intelligence, 1983.](https://mlanthology.org/ijcai/1983/cohen1983ijcai-symbolic/)

BibTeX

@inproceedings{cohen1983ijcai-symbolic,
  title     = {{Symbolic Execution of the Gist Specification Language}},
  author    = {Cohen, Donald},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {1983},
  pages     = {17-20},
  url       = {https://mlanthology.org/ijcai/1983/cohen1983ijcai-symbolic/}
}