%0 Conference Paper %1 conf/iske/XuLHZC15 %A Xu, Yang %A Liu, Jun %A He, Xingxing %A Zhong, Xiaomei %A Chen, Shuwei %B ISKE %D 2015 %I IEEE %K dblp %P 1-7 %T Non-clausal Multi-ary alpha-Generalized Resolution Principle for a Lattice-Valued First-Order Logic. %U http://dblp.uni-trier.de/db/conf/iske/iske2015.html#XuLHZC15 %@ 978-1-4673-9323-2

@inproceedings{conf/iske/XuLHZC15, 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/203ec2f8437fe7fb08b1bff42f4054cff/dblp}, booktitle = {ISKE}, crossref = {conf/iske/2015}, ee = {https://doi.org/10.1109/ISKE.2015.88}, interhash = {1f5fce7e82b2e9e6ea1698fbcc065ceb}, intrahash = {03ec2f8437fe7fb08b1bff42f4054cff}, isbn = {978-1-4673-9323-2}, keywords = {dblp}, pages = {1-7}, publisher = {IEEE}, timestamp = {2024-04-10T13:06:48.000+0200}, title = {Non-clausal Multi-ary alpha-Generalized Resolution Principle for a Lattice-Valued First-Order Logic.}, url = {http://dblp.uni-trier.de/db/conf/iske/iske2015.html#XuLHZC15}, year = 2015 }