Quantitative logic and soft computing : proceedings of the QL & SC 2012 - Quantitative Logic and Soft Computing Conference (2012 : Xi'an, China); Wang, Guojun; Zhao, Bin.; Li, Yongming (Singapore : World Scientific, 2012)
Includes bibliographical references and index.
Keywords: Logic programming -- Conferences; Soft computing -- Conferences