著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL
"International Conference on Automated Deduction and Bundy, Alan","Automated deduction, CADE-12 : 12th International Conference on Automated Deduction, Nancy, France, June 26-July 1, 1994 : proceedings",,Springer-Verlag,1994,Lecture notes in computer science,,"0387581561,3540581561",,https://cir.nii.ac.jp/crid/1130282269973113600