中文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