中图分类法:	TP3-532 版次：
题名:	Logic, language, information, and computation : [ 14th international workshop, WoLLIC 2007, Rio de Janeiro, Brazil, July 2-5, 2007 : proceedings /] / ,
其它题名:	WoLLIC 2007
出版发行:	出版地： Berlin ; 出版社： Springer, 出版日期： c2007.
载体形态:	x, 361 p. : ill. ; 24 cm.
主题词:	Logic, Symbolic and mathematical
主要责任者:	Leivant, Daniel Maurice Raphae?l.
主要责任者:	Queiroz, Ruy J. G. B. de.