%0 Conference Paper %1 conf/iske/JiaLX15 %A Jia, Hairui %A Liu, Yi %A Xu, Yang %B ISKE %D 2015 %I IEEE %K dblp %P 21-25 %T Non-clausal Multi-ary alpha-Ordered Linear Generalized Resolution Method for Lattice-Valued First-Order Logic. %U http://dblp.uni-trier.de/db/conf/iske/iske2015.html#JiaLX15 %@ 978-1-4673-9323-2

@inproceedings{conf/iske/JiaLX15, added-at = {2017-08-29T00:00:00.000+0200}, author = {Jia, Hairui and Liu, Yi and Xu, Yang}, biburl = {https://www.bibsonomy.org/bibtex/2aff92a412da77ed7aede6ab8c7591d1a/dblp}, booktitle = {ISKE}, crossref = {conf/iske/2015}, ee = {https://doi.org/10.1109/ISKE.2015.84}, interhash = {6d018af41fb81e8e1632ce59941be28c}, intrahash = {aff92a412da77ed7aede6ab8c7591d1a}, isbn = {978-1-4673-9323-2}, keywords = {dblp}, pages = {21-25}, publisher = {IEEE}, timestamp = {2019-10-17T22:02:23.000+0200}, title = {Non-clausal Multi-ary alpha-Ordered Linear Generalized Resolution Method for Lattice-Valued First-Order Logic.}, url = {http://dblp.uni-trier.de/db/conf/iske/iske2015.html#JiaLX15}, year = 2015 }