@techreport{oai:sucra.repo.nii.ac.jp:00011562,
 author = {後藤, 祐一},
 month = {},
 note = {3 若手研究及び基礎研究, text, application/pdf},
 title = {汎用的な自動定理発見ツールの実現と応用},
 year = {2008},
 yomi = {ゴトウ, ユウイチ}
}