Lecturer (higher education)

Supervisor of Master's Candidates

Personal Information

  • Education Level: PhD graduate
  • Alma Mater: 西南交通大学
  • School/Department: 数学学院
    • VIEW MORE
    No content
    No content

    1、基于经典逻辑的自动推理； 2、基于格值逻辑的自动推理。

    No content

    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

    Click:  | The Last Update Time:..  | Login