著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL
"International Conference AISC and Campbell, John A. and Roanes-Lozano, Eugenio","Artificial intelligence and symbolic computation : International Conference AISC 2000, Madrid, Spain, July 17-19, 2000 : revised papers",,Springer,2001,Lecture notes in computer science,,3540420711,,https://cir.nii.ac.jp/crid/1130000793816611456