BibTeX record conf/ijcai/Cohen83

download as .bib file

@inproceedings{DBLP:conf/ijcai/Cohen83,
  author    = {Donald Cohen},
  editor    = {Alan Bundy},
  title     = {Symbolic Execution of the Gist Specification Language},
  booktitle = {Proceedings of the 8th International Joint Conference on Artificial
               Intelligence. Karlsruhe, FRG, August 1983},
  pages     = {17--20},
  publisher = {William Kaufmann},
  year      = {1983},
  url       = {http://ijcai.org/Proceedings/83-1/Papers/003.pdf},
  timestamp = {Tue, 20 Aug 2019 16:18:54 +0200},
  biburl    = {https://dblp.org/rec/conf/ijcai/Cohen83.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics