著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL "Conference on Computability in Europe and Cooper, S. B. (S. Barry) and Löwe, Benedikt and Sorbi, Andrea","Computation and logic in the real world : Third Conference on Computability in Europe, CiE 2007 Siena, Italy, June 18-23, 2007 : proceedings",,Springer,2007,Lecture notes in computer science,,9783540730002,,https://cir.nii.ac.jp/crid/1130000794739003392