Banghe Han, Xiaonan Li. Semantic Resolution Principle in Propositional Valuation Algebra. In Guojun Wang 0004, Bin Zhao, Yongmin Li 0001, editors, Quantitative Logic and Soft Computing, Proceedings of the QLSC 2012, Xi'an, China, 12-15 May 2012. Volume 5 of World Scientific Proceedings Series on Computer Engineering and Informtion Science, World Scientific, 2012. [doi]
@inproceedings{HanL12-14,
title = {Semantic Resolution Principle in Propositional Valuation Algebra},
author = {Banghe Han and Xiaonan Li},
year = {2012},
doi = {10.1142/9789814401531_0008},
url = {https://doi.org/10.1142/9789814401531_0008},
researchr = {https://researchr.org/publication/HanL12-14},
cites = {0},
citedby = {0},
booktitle = {Quantitative Logic and Soft Computing, Proceedings of the QLSC 2012, Xi'an, China, 12-15 May 2012},
editor = {Guojun Wang 0004 and Bin Zhao and Yongmin Li 0001},
volume = {5},
series = {World Scientific Proceedings Series on Computer Engineering and Informtion Science},
publisher = {World Scientific},
isbn = {978-981-4401-52-4},
}