著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL "Lloyd, J. W. (John Wylie)","Computational logic : symposium proceedings, Brussels, November 13/14, 1990",,Springer-Verlag,1990,ESPRIT basic research series,,"3540534377,0387534377",,https://cir.nii.ac.jp/crid/1130282270741169792