著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL
"International Tbilisi Symposium on Logic, Language, and Computation and Bosch, Peter and Gabelaia, David and Lang, Jérôme","Logic, language, and computation : 7th international Tbilisi symposium on logic, language, and computation, TbiLLC 2007, Tbilisi, Georgia, October 1-5, 2007 : revised selected papers",,Springer,2009,Lecture notes in computer science,,9783642006647,,https://cir.nii.ac.jp/crid/1130000798077917312