Ulster University Logo

Ulster Institutional Repository

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

Biomedical Sciences Research Institute Computer Science Research Institute Environmental Sciences Research Institute Nanotechnology & Advanced Materials Research Institute

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