@article{oai:iwate-pu.repo.nii.ac.jp:00003532,
 author = {山田, 敬三},
 journal = {岩手県立大学ソフトウェア情報学部研究教育活動報告・紀要, Journal of Faculty of Software and Information Science},
 month = {Jan},
 pages = {255--257},
 title = {4. 紀要 : 論理プログラムと計算可能性‐専門共通科目「計算モデル論」における論理プロクラムの計算可能性のまとめ‐},
 volume = {15},
 year = {2020},
 yomi = {ヤマダ, ケイゾウ}
}