%0 Conference Paper %1 conf/ifsa/LiuMXL07 %A Liu, Jun %A Martínez-López, Luis %A Xu, Yang %A Lu, Zhirui %B IFSA (2) %D 2007 %E Castillo, Oscar %E Melin, Patricia %E Montiel, Oscar %E Sepúlveda, Roberto %E Pedrycz, Witold %E Kacprzyk, Janusz %I Springer %K dblp %P 629-639 %T Satisfiability in a Linguistic-Valued Logic and Its Quasi-horn Clause Inference Framework. %U http://dblp.uni-trier.de/db/conf/ifsa/ifsa2007-2.html#LiuMXL07 %V 42 %@ 978-3-540-72433-9

@inproceedings{conf/ifsa/LiuMXL07, added-at = {2022-09-16T00:00:00.000+0200}, author = {Liu, Jun and Martínez-López, Luis and Xu, Yang and Lu, Zhirui}, biburl = {https://www.bibsonomy.org/bibtex/22251d5a5e14e34f693359ef1a462764f/dblp}, booktitle = {IFSA (2)}, crossref = {conf/ifsa/2007-2}, editor = {Castillo, Oscar and Melin, Patricia and Montiel, Oscar and Sepúlveda, Roberto and Pedrycz, Witold and Kacprzyk, Janusz}, ee = {https://doi.org/10.1007/978-3-540-72434-6_64}, interhash = {1f83c9ba840db4bd9499901b8eb2f584}, intrahash = {2251d5a5e14e34f693359ef1a462764f}, isbn = {978-3-540-72433-9}, keywords = {dblp}, pages = {629-639}, publisher = {Springer}, series = {Advances in Soft Computing}, timestamp = {2024-04-10T12:04:58.000+0200}, title = {Satisfiability in a Linguistic-Valued Logic and Its Quasi-horn Clause Inference Framework.}, url = {http://dblp.uni-trier.de/db/conf/ifsa/ifsa2007-2.html#LiuMXL07}, volume = 42, year = 2007 }