Lecturer (higher education)

Personal Information

  • Education Level: PhD graduate
  • Alma Mater: 西南交通大学
  • School/Department: 数学学院
    • VIEW MORE
    Home >Research Focus

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

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

    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