著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL
"CICM (Conference) and Kohlhase, Michael and Johansson, Moa and Miller, Bruce (Bruce Cummings) and Moura, Leonardo de and Tompa, Frank","Intelligent computer mathematics : 9th International Conference, CICM 2016, Bialystok, Poland, july 25-29, 2016 : proccedings",,Springer,2016,Lecture notes in computer science,,9783319425467,,https://cir.nii.ac.jp/crid/1130000795156196480