BibTeX record conf/aaai/Cohen86

download as .bib file

@inproceedings{DBLP:conf/aaai/Cohen86,
  author    = {Donald Cohen},
  editor    = {Tom Kehler},
  title     = {Automatic Compilation of Logical Specifications into Efficient Programs},
  booktitle = {Proceedings of the 5th National Conference on Artificial Intelligence.
               Philadelphia, PA, USA, August 11-15, 1986. Volume 1: Science},
  pages     = {21--25},
  publisher = {Morgan Kaufmann},
  year      = {1986},
  url       = {http://www.aaai.org/Library/AAAI/1986/aaai86-004.php},
  timestamp = {Wed, 20 Jun 2018 08:06:58 +0200},
  biburl    = {https://dblp.org/rec/conf/aaai/Cohen86.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics