α-ordered linear resolution method for lattice-valued logic system based on lattice implication algebra
Weitao Xu; Yang Xu
| Year of publication: |
2012
|
|---|---|
| Authors: | Xu, Weitao ; Xu, Yang |
| Published in: |
International journal of applied management science. - Olney, Bucks. : Inderscience, ISSN 1755-8913, ZDB-ID 24819128. - Vol. 4.2012, 4, p. 460-479
|
| Extent: | graph. Darst. |
|---|---|
| Type of publication: | Article |
| Language: | English |
| Source: |
Persistent link: https://www.econbiz.de/10010058107