Automated reasoning algorithm for linguistic valued Lukasiewicz propositional logic
Tipo participación
Ponente
Year of publication
2007
Pagination
29-34
Date Published
May 14-16th
Publisher
Proceeding of ISMVL2007 - 37th IEEE International Symposium on Multiple-Valued Logic
Place Published
IEEE, Oslo (Norway)
Automated Reasoning Algorithm For Linguistic Valued Lukasiewicz Propositional Logic. May 14-16th. Proceeding of ISMVL2007 - 37th IEEE International Symposium on Multiple-Valued Logic, 2007, pp. 29-34.
. International Conference
Documento
Liu2007_IEEE.pdf498.61 KB
Altamente citado
Off
Número especial
Off
Hot paper
Off