著者名,論文名,雑誌名,ISSN,出版者名,出版日付,巻,号,ページ,URL,URL(DOI) 片貝 正紀 and 加王 森治,未定係数法による論理和-否定体系の公理系の解析について,"明治大学理工学部研究報告 = Research reports, School of Science and Technology, Meiji University",09164944,川崎 : 明治大学理工学部,1992,,5,p21-27,https://cir.nii.ac.jp/crid/1520572360136857344,