%0 Journal Article %1 journals/ijcisys/XuZZ0P15 %A Xu, Weitao %A Zhang, Wenqiang %A Zhang, Dexian %A Xu, Yang %A Pan, Xiaodong %D 2015 %J Int. J. Comput. Intell. Syst. %K dblp %N sup1 %P 75-84 %T -Resolution Method for Lattice-valued Horn Generalized Clauses in Lattice-valued Propositional Logic Systems. %U http://dblp.uni-trier.de/db/journals/ijcisys/ijcisys8.html#XuZZ0P15 %V 8

@article{journals/ijcisys/XuZZ0P15, added-at = {2020-06-15T00:00:00.000+0200}, author = {Xu, Weitao and Zhang, Wenqiang and Zhang, Dexian and Xu, Yang and Pan, Xiaodong}, biburl = {https://www.bibsonomy.org/bibtex/26b569b977a33e2ce74d14fbd91f8a322/dblp}, ee = {https://doi.org/10.1080/18756891.2015.1129580}, interhash = {e725832f05c5a09e5a3ce75045f043d9}, intrahash = {6b569b977a33e2ce74d14fbd91f8a322}, journal = {Int. J. Comput. Intell. Syst.}, keywords = {dblp}, number = {sup1}, pages = {75-84}, timestamp = {2020-06-16T12:03:54.000+0200}, title = {-Resolution Method for Lattice-valued Horn Generalized Clauses in Lattice-valued Propositional Logic Systems.}, url = {http://dblp.uni-trier.de/db/journals/ijcisys/ijcisys8.html#XuZZ0P15}, volume = 8, year = 2015 }