著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL
"International Symposium on Logical Foundations of Computer Science and Artemov, S. N. and Nerode, Anil","Logical foundations of computer science : International Symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8-11, 2018 : proceedings",,Springer,2018,Lecture notes in computer science,,9783319720555,,https://cir.nii.ac.jp/crid/1130000796188748544