COMPUTATIONAL TECHNIQUE FOR OBTAINING CONSEQUENCES IN MULTI-ADJOINT LOGIC PROGRAMMING WITH GENERALIZED QUANTIFIERS
ISSN: 1683-3511
Année de publication: 2024
Volumen: 23
Número: 4
Pages: 520-540
Type: Article
ISSN: 1683-3511
Année de publication: 2024
Volumen: 23
Número: 4
Pages: 520-540
Type: Article