Automated Reasoning with Analytic Tableaux and Related Methods, 18th International Conference, TABLEAUX 2009, Oslo, Norway, July 6-10, 2009. Proceedings. Giese, M. & Waaler, A., editors Volume 5607of Lecture Notes in Computer ScienceSpringer. 2009.
bibtex   
@Proceedings{Giese2009,
		  title      = {Automated Reasoning with Analytic Tableaux and Related Methods, 18th International Conference, {TABLEAUX} 2009, Oslo, Norway, July 6-10, 2009. Proceedings},
		    year       = {2009},
			  editor     = {Martin Giese and Arild Waaler},
			    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},
}

Downloads: 0