Cite
HARVARD Citation
Xu, W. et al. (2012). Α-ordered linear resolution method for lattice-valued logic system based on lattice implication algebra. International journal of applied management science. pp. 460-479. [Online].
This is an interim version of our Electronic Legal Deposit Catalogue-eJournals and eBooks while we continue to recover from a cyber-attack.
Xu, W. et al. (2012). Α-ordered linear resolution method for lattice-valued logic system based on lattice implication algebra. International journal of applied management science. pp. 460-479. [Online].