中文Current position: Home > Teaching > Teaching Information
Teaching Information
《归结自动推理》
Teacher:何星星
Course number:GJZDTL
Course Type:Postgraduate Course
Top-Quality Courses or Not:no
Next One:《数理逻辑》
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