Satisfiability in a linguistic-valued logic and its quasi-horn clause inference framework

  1. Liu, J.
  2. Martinez, L.
  3. Xu, Y.
  4. Lu, Z.
Colección de libros:
Advances in Soft Computing

ISSN: 1615-3871,  1860-0794

ISBN: 9783540724339

Año de publicación: 2007

Volumen: 42

Páginas: 629-639

Tipo: Artículo

DOI: 10.1007/978-3-540-72434-6_64 GOOGLE SCHOLAR
Fuente de los datos: Scopus