著者名,論文名,雑誌名,ISSN,出版者名,出版日付,巻,号,ページ,URL,URL(DOI)
"佐藤, 晴彦 and SATO, Haruhiko",定理証明支援系Isabelleにおける関数検索機能の拡張,北海学園大学工学部研究報告,0286-5262,北海学園大学工学部,2024-01-12,51,,35-48,https://cir.nii.ac.jp/crid/1050580605009830400,