• Click:
Research Focus

Resolution Based Rutomated Reasoning and its applications

Resolution Based Rutomated Reasoning and its applications

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