{"_id":"myaEhNkM4BAmRWp8p","bibbaseid":"giese-waaler-automatedreasoningwithanalytictableauxandrelatedmethods18thinternationalconferencetableaux2009oslonorwayjuly6102009proceedings-2009","authorIDs":[],"bibdata":{"bibtype":"proceedings","type":"proceedings","title":"Automated Reasoning with Analytic Tableaux and Related Methods, 18th International Conference, TABLEAUX 2009, Oslo, Norway, July 6-10, 2009. Proceedings","year":"2009","editor":[{"firstnames":["Martin"],"propositions":[],"lastnames":["Giese"],"suffixes":[]},{"firstnames":["Arild"],"propositions":[],"lastnames":["Waaler"],"suffixes":[]}],"volume":"5607","series":"Lecture Notes in Computer Science","publisher":"Springer","_bla_isbn":"978-3-642-02715-4","bdsk-url-1":"http://dx.doi.org/10.1007/978-3-642-02716-1","bibsource":"dblp computer science bibliography, http://dblp.org","biburl":"http://dblp.dagstuhl.de/rec/bib/conf/tableaux/2009","_bla_doi":"10.1007/978-3-642-02716-1","bibtex":"@Proceedings{Giese2009,\n\t\t title = {Automated Reasoning with Analytic Tableaux and Related Methods, 18th International Conference, {TABLEAUX} 2009, Oslo, Norway, July 6-10, 2009. Proceedings},\n\t\t year = {2009},\n\t\t\t editor = {Martin Giese and Arild Waaler},\n\t\t\t volume = {5607},\n\t\t\t\t series = {Lecture Notes in Computer Science},\n\t\t\t\t publisher = {Springer},\n\t\t\t\t\t_bla_isbn = {978-3-642-02715-4},\n\t\t\t\t\t bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-642-02716-1},\n\t\t\t\t\t bibsource = {dblp computer science bibliography, http://dblp.org},\n\t\t\t\t\t\t biburl = {http://dblp.dagstuhl.de/rec/bib/conf/tableaux/2009},\n\t\t\t\t\t\t _bla_doi = {10.1007/978-3-642-02716-1},\n}\n\n","editor_short":["Giese, M.","Waaler, A."],"key":"Giese2009","id":"Giese2009","bibbaseid":"giese-waaler-automatedreasoningwithanalytictableauxandrelatedmethods18thinternationalconferencetableaux2009oslonorwayjuly6102009proceedings-2009","role":"editor","urls":{},"downloads":0,"html":""},"bibtype":"proceedings","biburl":"https://cs.stanford.edu/~yoniz/test.bib","creationDate":"2019-07-02T21:19:47.863Z","downloads":0,"keywords":[],"search_terms":["automated","reasoning","analytic","tableaux","related","methods","18th","international","conference","tableaux","2009","oslo","norway","july","2009","proceedings"],"title":"Automated Reasoning with Analytic Tableaux and Related Methods, 18th International Conference, TABLEAUX 2009, Oslo, Norway, July 6-10, 2009. Proceedings","year":2009,"dataSources":["ChWnbF8EqSa8nccMs"]}