Lecturer (higher education)

Supervisor of Master's Candidates

Personal Information

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

    Contradiction separation based dynamic multi-clause synergized automated deduction

    Journal:Information Sciences
     Co-author:Shuwei Chen,Xingxing He
     First Author:Yang Xu
     Indexed by:Journal articles
     Correspondence Author:Jun Liu,Xiaomei Zhong
     Document Code:1
     Volume:2018, 462
     Page Number:93–113
     Translation or Not:no

    Pre One:α-Quasi-lock semantic resolution method based on lattice-valued logic

    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