@inproceedings{oai:ipsj.ixsq.nii.ac.jp:00237720,
 author = {西村, 敏男},
 book = {第4回プログラミング—シンポジウム報告集},
 month = {Jan},
 pages = {E-44--E-45},
 publisher = {情報処理学会},
 title = {証明のプログラミング},
 volume = {1963},
 year = {1963}
}