Lecturer (higher education)

Supervisor of Master's Candidates

Personal Information

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

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

    Supported by:05
     Date of Project Completion:2023-03-01
     Date of Project Initiation:2020-03-31

    Pre 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