Automated Reasoning, 4th International Joint Conference, IJCAR 2008, Sydney, Australia, August 12-15, 2008, Proceedings. Armando, A., Baumgartner, P., & Dowek, G. Volume 2008. bibtex @proceedings{ dblp2336568,
title = {Automated Reasoning, 4th International Joint Conference, IJCAR 2008, Sydney, Australia, August 12-15, 2008, Proceedings},
author = {Alessandro Armando and Peter Baumgartner and Gilles Dowek},
author_short = {Armando, A. and Baumgartner, P. and Dowek, G.},
bibtype = {proceedings},
type = {proceedings},
year = {2008},
key = {dblp2336568},
id = {dblp2336568},
biburl = {http://www.dblp.org/rec/bibtex/conf/cade/2008},
url = {},
conference = {IJCAR},
text = {IJCAR 2008},
booktitle = {Proceedings of International Joint Conference on Automated Reasoning (IJCAR)}
}
Downloads: 0
{"_id":{"_str":"525ba8cb7e98fada74000098"},"__v":0,"authorIDs":[],"author_short":["Armando, A.","Baumgartner, P.","Dowek, G."],"bibbaseid":"armando-baumgartner-dowek-automatedreasoning4thinternationaljointconferenceijcar2008sydneyaustraliaaugust12152008proceedings-2008","bibdata":{"html":"<div class=\"bibbase_paper\">\n\n\n<span class=\"bibbase_paper_titleauthoryear\">\n\t<span class=\"bibbase_paper_title\"><a name=\"dblp2336568\"> </a>Automated Reasoning, 4th International Joint Conference, IJCAR 2008, Sydney, Australia, August 12-15, 2008, Proceedings.</span>\n\t<span class=\"bibbase_paper_author\">\nArmando, A.; Baumgartner, P.; and Dowek, G.</span>\n\t<!-- <span class=\"bibbase_paper_year\">2008</span>. -->\n</span>\n\n\n 2008.\n\n\n\n\n\n<br class=\"bibbase_paper_content\"/>\n\n<span class=\"bibbase_paper_content\">\n \n \n \n <a href=\"javascript:showBib('dblp2336568')\">\n <img src=\"http://bibbase.org/img/filetypes/bib.png\" \n\t alt=\"Automated Reasoning, 4th International Joint Conference, IJCAR 2008, Sydney, Australia, August 12-15, 2008, Proceedings [bib]\" \n\t class=\"bibbase_icon\"\n\t style=\"width: 24px; height: 24px; border: 0px; vertical-align: text-top\"><span class=\"bibbase_icon_text\">Bibtex</span></a>\n \n \n\n \n \n \n \n \n <span class=\"bibbase_amazon\">\n <a href=\"http://www.amazon.com/s/?url=search-alias=aps&field-keywords=Proceedings of International Joint Conference on Automated Reasoning (IJCAR)&tag=bib0d-20&link_code=wql&_encoding=UTF-8\" \n onclick=\"javascript:log_buy('armando-baumgartner-dowek-automatedreasoning4thinternationaljointconferenceijcar2008sydneyaustraliaaugust12152008proceedings-2008')\"\n target=\"_blank\">\n Buy\n </a>\n </span>\n \n\n \n \n</span>\n\n<!-- -->\n\n</div>\n","downloads":0,"bibbaseid":"armando-baumgartner-dowek-automatedreasoning4thinternationaljointconferenceijcar2008sydneyaustraliaaugust12152008proceedings-2008","role":"author","bibtex":"@proceedings{ dblp2336568,\n title = {Automated Reasoning, 4th International Joint Conference, IJCAR 2008, Sydney, Australia, August 12-15, 2008, Proceedings},\n author = {Alessandro Armando and Peter Baumgartner and Gilles Dowek},\n author_short = {Armando, A. and Baumgartner, P. and Dowek, G.},\n bibtype = {proceedings},\n type = {proceedings},\n year = {2008},\n key = {dblp2336568},\n id = {dblp2336568},\n biburl = {http://www.dblp.org/rec/bibtex/conf/cade/2008},\n url = {},\n conference = {IJCAR},\n text = {IJCAR 2008},\n booktitle = {Proceedings of International Joint Conference on Automated Reasoning (IJCAR)}\n}","booktitle":"Proceedings of International Joint Conference on Automated Reasoning (IJCAR)","text":"IJCAR 2008","conference":"IJCAR","url":"","biburl":"http://www.dblp.org/rec/bibtex/conf/cade/2008","id":"dblp2336568","key":"dblp2336568","year":"2008","type":"proceedings","bibtype":"proceedings","author_short":["Armando, A.","Baumgartner, P.","Dowek, G."],"author":["Alessandro Armando","Peter Baumgartner","Gilles Dowek"],"title":"Automated Reasoning, 4th International Joint Conference, IJCAR 2008, Sydney, Australia, August 12-15, 2008, Proceedings"},"bibtype":"proceedings","biburl":"http://www.dblp.org/rec/bibtex/conf/cade/2008","downloads":0,"search_terms":["automated","reasoning","4th","international","joint","conference","ijcar","2008","sydney","australia","august","2008","proceedings","armando","baumgartner","dowek"],"title":"Automated Reasoning, 4th International Joint Conference, IJCAR 2008, Sydney, Australia, August 12-15, 2008, Proceedings","year":2008,"dataSources":["WjrSFNWNQQjn8jtAN"]}