Satisfiability in a linguistic-valued logic and its quasi-horn clause inference framework
Autores: Jun Liu and Luis Martínez and Yang Xu and Z. Lu
Tipo: congreso_internacional
Año: 2007
Volumen: 42
Páginas: 629-639
Autores: Jun Liu and Luis Martínez and Yang Xu and Z. Lu
Tipo: congreso_internacional
Año: 2007
Volumen: 42
Páginas: 629-639