著者名,論文名,雑誌名,ISSN,出版者名,出版日付,巻,号,ページ,URL,URL(DOI)
海野 聡 and 矢板 徹 and 檀 良 and UNNO Satoshi and YAITA Toru and DANG Ryo,論理式の数式処理システム,法政大学計算センター研究報告,09138420,法政大学計算センター,1988-10-01,2,,95-100,https://cir.nii.ac.jp/crid/1390010292560576640,https://doi.org/10.15002/00024638