中文Current position: Home > Research > Research Projects
Research Projects
中央高校基本业务费理科培育项目
Pre One:教育部人文社科青年基金项目：基于逻辑的多元动态迭代自动推理研究
Next One:中央高校基本科研业务费科技创新项目：带等词格值逻辑的α-调解自动推理研究
Xingxing He
Alma Mater:Southwest Jiaotong University
School/Department:数学学院
Business Address:Intelligent Control Development Center, Southwest Jiaotong University,Chengdu 610031, Sichuan, PR China