BibTeX record conf/ijcai/TernovskaM09

download as .bib file

@inproceedings{DBLP:conf/ijcai/TernovskaM09,
  author       = {Eugenia Ternovska and
                  David G. Mitchell},
  editor       = {Craig Boutilier},
  title        = {Declarative Programming of Search Problems with Built-in Arithmetic},
  booktitle    = {{IJCAI} 2009, Proceedings of the 21st International Joint Conference
                  on Artificial Intelligence, Pasadena, California, USA, July 11-17,
                  2009},
  pages        = {942--947},
  year         = {2009},
  url          = {http://ijcai.org/Proceedings/09/Papers/160.pdf},
  timestamp    = {Tue, 20 Aug 2019 16:18:19 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/TernovskaM09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics