著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL
"International Tbilisi Symposium on Logic, Language, and Computation and Cate, Balder David ten and Zeevat, Henk","Logic, language, and computation : 6th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2005, Batumi, Georgia, September 12-16, 2005 : revised selected papers",,Springer,2007,Lecture notes in computer science,,9783540751434,,https://cir.nii.ac.jp/crid/1130000796514778240