@proceedings{DBLP:conf/lpar/2003,
  editor    = {Moshe Y. Vardi and
               Andrei Voronkov},
  title     = {Logic for Programming, Artificial Intelligence, and Reasoning, 10th
               International Conference, {LPAR} 2003, Almaty, Kazakhstan, September
               22-26, 2003, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2850},
  publisher = {Springer},
  year      = {2003},
  url       = {https://doi.org/10.1007/b13986},
  doi       = {10.1007/b13986},
  isbn      = {3-540-20101-7},
  timestamp = {Mon, 29 May 2017 16:53:44 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/lpar/2003},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"KosAAErk4KrDyDgFd","bibbaseid":"vardi-voronkov-logicforprogrammingartificialintelligenceandreasoning10thinternationalconferencelpar2003almatykazakhstanseptember22262003proceedings-2003","downloads":0,"creationDate":"2018-09-03T10:39:12.024Z","title":"Logic for Programming, Artificial Intelligence, and Reasoning, 10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003, Proceedings","author_short":null,"year":2003,"bibtype":"proceedings","biburl":"https://dblp.org/pid/f/MichaelFisher.bib","bibdata":{"bibtype":"proceedings","type":"proceedings","editor":[{"firstnames":["Moshe","Y."],"propositions":[],"lastnames":["Vardi"],"suffixes":[]},{"firstnames":["Andrei"],"propositions":[],"lastnames":["Voronkov"],"suffixes":[]}],"title":"Logic for Programming, Artificial Intelligence, and Reasoning, 10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003, Proceedings","series":"Lecture Notes in Computer Science","volume":"2850","publisher":"Springer","year":"2003","url":"https://doi.org/10.1007/b13986","doi":"10.1007/b13986","isbn":"3-540-20101-7","timestamp":"Mon, 29 May 2017 16:53:44 +0200","biburl":"https://dblp.org/rec/bib/conf/lpar/2003","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@proceedings{DBLP:conf/lpar/2003,\n editor = {Moshe Y. Vardi and\n Andrei Voronkov},\n title = {Logic for Programming, Artificial Intelligence, and Reasoning, 10th\n International Conference, {LPAR} 2003, Almaty, Kazakhstan, September\n 22-26, 2003, Proceedings},\n series = {Lecture Notes in Computer Science},\n volume = {2850},\n publisher = {Springer},\n year = {2003},\n url = {https://doi.org/10.1007/b13986},\n doi = {10.1007/b13986},\n isbn = {3-540-20101-7},\n timestamp = {Mon, 29 May 2017 16:53:44 +0200},\n biburl = {https://dblp.org/rec/bib/conf/lpar/2003},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","editor_short":["Vardi, M. Y.","Voronkov, A."],"key":"DBLP:conf/lpar/2003","id":"DBLP:conf/lpar/2003","bibbaseid":"vardi-voronkov-logicforprogrammingartificialintelligenceandreasoning10thinternationalconferencelpar2003almatykazakhstanseptember22262003proceedings-2003","role":"editor","urls":{"Paper":"https://doi.org/10.1007/b13986"},"downloads":0,"html":""},"search_terms":["logic","programming","artificial","intelligence","reasoning","10th","international","conference","lpar","2003","almaty","kazakhstan","september","2003","proceedings"],"keywords":[],"authorIDs":[],"dataSources":["dNrJbhueP34xdF85Y"]}