Lecturer (higher education)

Supervisor of Master's Candidates

Personal Information

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

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

    Journal:International Journal of Computational Intelligence Systems
     Co-author:Shuwei Chen,Jun Liu,Yang Xu
     First Author:Xiaomei Zhong
     Document Code:2
     Volume:7
     Issue:3
     Page Number:418-431
     Translation or Not:no
     Date of Publication:2014-06-01

    Pre One:α-Group quasi-lock semantic resolution method based on lattice-valued propositional logic LP(X)

    Next One:Contradiction separation based dynamic multi-clause synergized automated deduction

    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