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.
Liburu bilduma:
Advances in Soft Computing

ISSN: 1615-3871,  1860-0794

ISBN: 9783540724339

Argitalpen urtea: 2007

Alea: 42

Orrialdeak: 629-639

Mota: Artikulua

DOI: 10.1007/978-3-540-72434-6_64 GOOGLE SCHOLAR
Datuen iturria: Scopus