@inproceedings{oai:ipsj.ixsq.nii.ac.jp:00237690,
 author = {高須, 達},
 book = {第3回プログラミング—シンポジウム報告集},
 month = {Jan},
 pages = {E-43--E-62},
 publisher = {情報処理学会},
 title = {記号操作と定理の機械的証明 (LISPに関する綜合報告)},
 volume = {1962},
 year = {1962}
}