COMPUTATIONAL TECHNIQUE FOR OBTAINING CONSEQUENCES IN MULTI-ADJOINT LOGIC PROGRAMMING WITH GENERALIZED QUANTIFIERS
ISSN: 1683-3511
Ano de publicación: 2024
Volume: 23
Número: 4
Páxinas: 520-540
Tipo: Artigo
ISSN: 1683-3511
Ano de publicación: 2024
Volume: 23
Número: 4
Páxinas: 520-540
Tipo: Artigo