著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL
"International Conference on Automated Deduction and Nieuwenhuis, Robert","Automated deduction - CADE-20 : 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005 : proceedings",,Springer,2005,Lecture notes in computer science,,3540280057,,https://cir.nii.ac.jp/crid/1130000794024623872