%0 Conference Paper %1 conf/ismvl/LiuLXL07 %A Liu, Jun %A Martínez-López, Luis %A Xu, Yang %A Lu, Zhirui %B ISMVL %D 2007 %I IEEE Computer Society %K %P 29 %T Automated Reasoning Algorithm for Linguistic Valued Lukasiewicz Propositional Logic. %U http://dblp.uni-trier.de/db/conf/ismvl/ismvl2007.html#LiuLXL07 %@ 978-0-7695-2831-1

@inproceedings{conf/ismvl/LiuLXL07, added-at = {2023-12-13T00:10:25.000+0100}, author = {Liu, Jun and Martínez-López, Luis and Xu, Yang and Lu, Zhirui}, biburl = {https://www.bibsonomy.org/bibtex/2f2d35f82359b9e6e4cf5430d719a612f/admin}, booktitle = {ISMVL}, crossref = {conf/ismvl/2007}, ee = {http://doi.ieeecomputersociety.org/10.1109/ISMVL.2007.9}, interhash = {5fc6bafc69e9e8f89a7ab5c09c3e7158}, intrahash = {f2d35f82359b9e6e4cf5430d719a612f}, isbn = {978-0-7695-2831-1}, keywords = {}, pages = 29, publisher = {IEEE Computer Society}, timestamp = {2023-12-13T00:10:25.000+0100}, title = {Automated Reasoning Algorithm for Linguistic Valued Lukasiewicz Propositional Logic.}, url = {http://dblp.uni-trier.de/db/conf/ismvl/ismvl2007.html#LiuLXL07}, year = 2007 }