%0 Conference Paper %1 conf/icmlc/JiaXLH13 %A Jia, Hairui %A Xu, Yang %A Liu, Yi %A He, Huicong %B ICMLC %D 2013 %I IEEE %K dblp %P 1729-1734 %T 1-minimal resolution principle based on lattice-valued propositional logic LP(X). %U http://dblp.uni-trier.de/db/conf/icmlc/icmlc2013.html#JiaXLH13

@inproceedings{conf/icmlc/JiaXLH13, added-at = {2014-09-15T00:00:00.000+0200}, author = {Jia, Hairui and Xu, Yang and Liu, Yi and He, Huicong}, biburl = {https://www.bibsonomy.org/bibtex/279377bb44a2549c040a6cbea47711af2/dblp}, booktitle = {ICMLC}, crossref = {conf/icmlc/2013}, ee = {http://dx.doi.org/10.1109/ICMLC.2013.6890877}, interhash = {2c707412b2cb3f1829ea1ce392fa6e91}, intrahash = {79377bb44a2549c040a6cbea47711af2}, keywords = {dblp}, pages = {1729-1734}, publisher = {IEEE}, timestamp = {2015-06-19T23:34:56.000+0200}, title = {1-minimal resolution principle based on lattice-valued propositional logic LP(X).}, url = {http://dblp.uni-trier.de/db/conf/icmlc/icmlc2013.html#JiaXLH13}, year = 2013 }