• Click:

Current position: Home  >  Research  >  Research Projects

Research Projects

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

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

The Last Update Time:--

Copyright © 2019 Southwest Jiaotong University.All Rights Reserved . ICP reserve 05026985
Address：999 Xi'an Road, Pidu District, Chengdu, Sichuan, China
 Chuangongnet Anbei 510602000061
Technical support: Office of Information Technology and network management