著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL
"Workshop on Logic, Language, Information and Computation and Kohlenbach, Ulrich and Barceló, Pablo and Queiroz, Ruy de","Logic, language, information, and computation : 21th International Workshop, WoLLIC 2014, Valparaíso, Chile, September 1-4, 2014 proceedings",,Springer,2014,Lecture notes in computer science,,9783662441442,,https://cir.nii.ac.jp/crid/1130000798209014912