Author,Title,Journal,ISSN,Publisher,Date,Volume,Number,Page,URL,URL(DOI)
峯島 宏次 and 岡田 光弘 and 佐藤 有理 and 竹村 亮,オイラー図・ヴェン図を用いた図形推論の証明論的分析,Proceedings of the Annual Conference of JSAI,13479881,The Japanese Society for Artificial Intelligence,2010,JSAI2010,0,1E14-1E14,https://cir.nii.ac.jp/crid/1390845712977958528,https://doi.org/10.11517/pjsai.jsai2010.0_1e14