Research Focus
Resolution Based Rutomated Reasoning and its applications
Resolution Based Rutomated Reasoning and its applications
Alma Mater:Southwest Jiaotong University
Degree:Doctor of engineering
School/Department:数学学院
Business Address:Intelligent Control Development Center, Southwest Jiaotong University,Chengdu 610031, Sichuan, PR China