%0 Journal Article %1 journals/ijcisys/00010HZC18 %A Xu, Yang %A Liu, Jun %A He, Xingxing %A Zhong, Xiaomei %A Chen, Shuwei %D 2018 %J Int. J. Comput. Intell. Syst. %K dblp %N 1 %P 384-401 %T Non-Clausal Multi-ary α-Generalized Resolution Calculus for a Finite Lattice-Valued Logic. %U http://dblp.uni-trier.de/db/journals/ijcisys/ijcisys11.html#00010HZC18 %V 11

@article{journals/ijcisys/00010HZC18, added-at = {2023-06-12T00:00:00.000+0200}, author = {Xu, Yang and Liu, Jun and He, Xingxing and Zhong, Xiaomei and Chen, Shuwei}, biburl = {https://www.bibsonomy.org/bibtex/2ac007d54dcb7ee26a19d3c1e5e8d2d17/dblp}, ee = {https://doi.org/10.2991/ijcis.11.1.29}, interhash = {fe8f9b8aa351d0d811f1c3d14f8095f1}, intrahash = {ac007d54dcb7ee26a19d3c1e5e8d2d17}, journal = {Int. J. Comput. Intell. Syst.}, keywords = {dblp}, number = 1, pages = {384-401}, timestamp = {2024-04-09T07:13:00.000+0200}, title = {Non-Clausal Multi-ary α-Generalized Resolution Calculus for a Finite Lattice-Valued Logic.}, url = {http://dblp.uni-trier.de/db/journals/ijcisys/ijcisys11.html#00010HZC18}, volume = 11, year = 2018 }