著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL "MacCrimmon, Marilyn and Tillers, Peter","The dynamics of judical proof : computation, logic, and commomn sense",,Physica-Verlag,2002,Studies in fuzziness and soft computing,,3790814598,,https://cir.nii.ac.jp/crid/1130282271511774976