Logic, language, information and computation [electronic resource] : 17th international workshop, WoLLIC 2010, Brasilia, Brazil, July 6-9, 2010 ; proceedings / Anuj Dawar, Ruy de Queiroz (eds.).

Conference Author: Workshop on Logic, Language, Information and Computation (17th : 2010 : Brasilia, Brazil)
Additional Titles: WoLLIC 2010
Published: Berlin ; New York : Springer, 2010.
Physical Description: 1 online resource (x, 258 pages) : illustrations
Additional Creators: Dawar, Anuj and Queiroz, Ruy J. G. B. de.