著者名,論文名,雑誌名,ISSN,出版者名,出版日付,巻,号,ページ,URL,URL(DOI) 松田 秀雄 and 宮越 隆 and 畠山 豊正,論理式を分離加法形式で表す手法の時間計算量について,富山大学工学部紀要,0387-1339,富山大学工学部,1992-03,43,,51-62,https://cir.nii.ac.jp/crid/1390853649737091072,https://doi.org/10.15099/00004437