• Click:

Current position: Home  >  Research  >  Research Projects

Research Projects

国家自然科学基金青年基金项目:基于格值逻辑的α-锁归结与α-锁调解自动推理

Xingxing He

Associate Professor

Supervisor of Master's Candidates

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