@inproceedings{oai:ipsj.ixsq.nii.ac.jp:00237841,
 author = {西村, 敏男 and 伊大知, 紀子},
 book = {第8回プログラミング—シンポジウム報告集},
 month = {Jan},
 pages = {C-88--C-102},
 publisher = {情報処理学会},
 title = {数学の証明を行なうプログラム},
 volume = {1967},
 year = {1967}
}