著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL
"原尾, 政輝",型理論に基づく高階推論機構の形式化とその類推処理への応用,,[九州工業大学],1994,科学研究費補助金(一般研究C)研究成果報告書,,,,https://cir.nii.ac.jp/crid/1130282272895586560