Satisfiability in a linguistic-valued logic and its quasi-horn clause inference framework
- Liu, J.
- Martinez, L.
- Xu, Y.
- Lu, Z.
ISSN: 1615-3871, 1860-0794
ISBN: 9783540724339
Year of publication: 2007
Volume: 42
Pages: 629-639
Type: Article
ISSN: 1615-3871, 1860-0794
ISBN: 9783540724339
Year of publication: 2007
Volume: 42
Pages: 629-639
Type: Article