Ulster University Logo

Determination of a-resolution in lattice-valued first-order logic LF(X)

Xu, Y., Liu, Jun, Ruan, D. and Li, X.B. (2011) Determination of a-resolution in lattice-valued first-order logic LF(X). Information Sciences, 181 (10). pp. 1836-1862. [Journal article]

Full text not available from this repository.

DOI: 10.1016/j.ins.2010.03.024


Item Type:Journal article
Faculties and Schools:Faculty of Computing & Engineering
Faculty of Computing & Engineering > School of Computing and Mathematics
Research Institutes and Groups:Computer Science Research Institute
Computer Science Research Institute > Artificial Intelligence and Applications
ID Code:17415
Deposited By: Dr Jun Liu
Deposited On:02 Mar 2011 11:26
Last Modified:02 Mar 2011 11:26

Repository Staff Only: item control page