BibTeX record conf/ijcai/SteierK85

download as .bib file

@inproceedings{DBLP:conf/ijcai/SteierK85,
  author    = {David M. Steier and
               Elaine Kant},
  editor    = {Aravind K. Joshi},
  title     = {Symbolic Execution in Algorithm Design},
  booktitle = {Proceedings of the 9th International Joint Conference on Artificial
               Intelligence. Los Angeles, CA, USA, August 1985},
  pages     = {225--231},
  publisher = {Morgan Kaufmann},
  year      = {1985},
  url       = {http://ijcai.org/Proceedings/85-1/Papers/042.pdf},
  timestamp = {Tue, 20 Aug 2019 16:19:04 +0200},
  biburl    = {https://dblp.org/rec/conf/ijcai/SteierK85.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics