学位論文 An Investigation of Machine Learning and a Consideration on its Application to Theorem Proving [Project Paper]

Ho, Dung Tuan

2016-03
内容記述
Supervisor:Kazuhiro Ogata
情報科学研究科
修士
本文を読む

https://dspace.jaist.ac.jp/dspace/bitstream/10119/13641/4/abstract.pdf

https://dspace.jaist.ac.jp/dspace/bitstream/10119/13641/5/paper.pdf

このアイテムのアクセス数:  回

その他の情報