Voltar
Artigo Acesso aberto Revisado por pares
BIBTEX RIS

CARACTERIZACIÓN SEMANTICA DE LOS ÁRBOLES DE FORZAMIENTO SEMÁNTICO PARA LA LÓGICA DE PREDICADOS

2024; National University of Colombia at Medellín; Volume: 13; Issue: 2 Linguagem: Espanhol

10.15446/rev.fac.cienc.v13n2.110336

ISSN

2357-5549

Autores

Manuel Sierra,

Tópico(s)

Advanced Algebra and Logic

Referência(s)