• Click:

Current position: Home  >  Research  >  Paper Publications

Paper Publications

Xingxing He*, Yang Xu, Jun Liu: Alpha-Lock Paramodulation for Lattice-Valued Propositional Logic. ISKE 2015: 18-20

Translation or Not:no

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