COMPUTATIONAL TECHNIQUE FOR OBTAINING CONSEQUENCES IN MULTI-ADJOINT LOGIC PROGRAMMING WITH GENERALIZED QUANTIFIERS
ISSN: 1683-3511
Any de publicació: 2024
Volum: 23
Número: 4
Pàgines: 520-540
Tipus: Article
ISSN: 1683-3511
Any de publicació: 2024
Volum: 23
Número: 4
Pàgines: 520-540
Tipus: Article