@inproceedings{oai:ipsj.ixsq.nii.ac.jp:00237749,
 author = {島内, 剛一},
 book = {第5回プログラミング—シンポジウム報告集},
 month = {Jan},
 pages = {F-5--F-5},
 publisher = {情報処理学会},
 title = {数学の証明のプログラム},
 volume = {1964},
 year = {1964}
}