著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL
"International Tbilisi Symposium on Logic, Language and Computation and Aher, Martin","Logic, language, and computation : 10th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2013, Gudauri, Georgia, September 23-27, 2013 : revised selected papers",,Springer,2015,Lecture notes in computer science,,9783662469057,,https://cir.nii.ac.jp/crid/1130000796091632000