著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL
"International Conference AISMC and Calmet, Jacques and Campbell, John A.","Artificial intelligence and symbolic mathematical computing : International Conference AISMC-1, Karlsruhe, Germany, August 3-6, 1992 : proceedings",,Springer-Verlag,1993,Lecture notes in computer science,,"0387573224,3540573224",,https://cir.nii.ac.jp/crid/1130000795639853184