@inproceedings{oai:ipsj.ixsq.nii.ac.jp:00117096,
 book = {全国大会講演論文集},
 issue = {情報理論及び基礎技術},
 month = {Oct},
 note = {このたび第五世代コンピュータの逐次型推論機械PSI IIで動作する数式処理システムを開発したので報告する。本システムSAMは、論理型言語による本格的な数式処理システムとしては、世界で初めてのシステムである。},
 publisher = {情報処理学会},
 title = {PSI上の数式処理システムSAM},
 volume = {第39回},
 year = {1989}
}