学位論文 Automated Theorem Finding by Forward Reasoning Based on Strong Relevant Logic : Methodology and Case Studies

高, 宏彪

内容記述
博士の専攻分野の名称 : 博士(工学)学位授与年月日 : 平成27年3月24日
本文を読む

http://sucra.saitama-u.ac.jp/modules/xoonips/download.php?id=GD0000603

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

その他の情報