Lecturer (higher education)

Supervisor of Master's Candidates

Personal Information

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

    基于格值逻辑的语言真值α-群锁语义归结自动推理研究

    Leading Scientist:钟小梅
     Supported by:National natural science foundation of China
     Date of Project Completion:2016-12-31
     Date of Project Initiation:2016-01-01

    Next One:基于逻辑的定理库自动演绎推理研究

    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