中图分类法:	TP3-532 版次：
题名:	Logic, language, and computation : [ 6th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2005, Batumi, Georgia, September 12-16, 2005 : revised selected papers /] / ,
其它题名:	6th International Tbilisi Symposium on Logic, Language, and Computation
其它题名:	Sixth International Tbilisi Symposium on Logic, Language, and Computation
其它题名:	International Tbilisi Symposium on Logic, Language, and Computation
其它题名:	TbiLLC 2005
出版发行:	出版地： Berlin ; 出版社： Springer, 出版日期： c2007.
载体形态:	xii, 280 p. : ill. ; 24 cm.
主题词:	Computer logic
主题词:	Programming languages (Electronic computers) Semantics
主题词:	Computational linguistics
主要责任者:	Cate, Balder David ten.
主要责任者:	Zeevat, Henk,