![[feed]](/style/images/feed-icon-14x14.png){kind=icon}
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