%0 Conference Paper %1 conf/iske/XuZZX15 %A Xu, Weitao %A Zhang, Wenqiang %A Zhang, Dexian %A Xu, Yang %B ISKE %D 2015 %I IEEE %K dblp %P 89-93 %T alpha-Resolution Method for Lattice-Valued Horn Generalized Clauses in Lattice-Valued First-Order Logic System. %U http://dblp.uni-trier.de/db/conf/iske/iske2015.html#XuZZX15 %@ 978-1-4673-9323-2

@inproceedings{conf/iske/XuZZX15, added-at = {2020-06-15T00:00:00.000+0200}, author = {Xu, Weitao and Zhang, Wenqiang and Zhang, Dexian and Xu, Yang}, biburl = {https://www.bibsonomy.org/bibtex/218a37bb53a6cb02cb0cf6e3403f6e2b3/dblp}, booktitle = {ISKE}, crossref = {conf/iske/2015}, ee = {https://doi.org/10.1109/ISKE.2015.75}, interhash = {543a128d7c439c9ab2b736410202fbde}, intrahash = {18a37bb53a6cb02cb0cf6e3403f6e2b3}, isbn = {978-1-4673-9323-2}, keywords = {dblp}, pages = {89-93}, publisher = {IEEE}, timestamp = {2020-06-16T12:10:05.000+0200}, title = {alpha-Resolution Method for Lattice-Valued Horn Generalized Clauses in Lattice-Valued First-Order Logic System.}, url = {http://dblp.uni-trier.de/db/conf/iske/iske2015.html#XuZZX15}, year = 2015 }