Home

Welcome

Papers

Search Proceedings

Author Index

Information
Science Award

About Us

CD Tech Support

Track:

8th International Conference on Computer Science and Informatics (CSI)

Session:

CSI-10: Artificial Intelligence

Paper Title:

Resolution principle based on Six Lattice-valued First Order logic L6F(X)

Author(s):

Dan Meng
Yang Xu
Huading Jia