Thesis or Dissertation Automated Theorem Finding by Forward Reasoning Based on Strong Relevant Logic : Methodology and Case Studies

高, 宏彪

Description
博士の専攻分野の名称 : 博士(工学)学位授与年月日 : 平成27年3月24日
Full-Text

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

Number of accesses :  

Other information