FORZAMIENTO SEMANTICO DE MARCAS PARA LA LOGICA BASICA PARACONSISTENTE LBPC.
Autor principal: | |
---|---|
Formato: | Artículo |
Lenguaje: | Spanish |
Materias: |
LEADER | 00664nab a2200205 a 4500 | ||
---|---|---|---|
001 | 000081342 | ||
005 | 20150806094703.0 | ||
008 | 091006s mx 000 0 spa d | ||
040 | |a Sistema de Bibliotecas del Tecnológico de Costa Rica | ||
100 | 1 | |a SIERRA ARISTIZABAL, MANUEL | |
245 | 1 | 0 | |a FORZAMIENTO SEMANTICO DE MARCAS PARA LA LOGICA BASICA PARACONSISTENTE LBPC. |
535 | 1 | |a Sala de Colecciones abiertas | |
546 | |a Español | ||
590 | |a R5734 | ||
590 | |a MATE | ||
650 | 1 | 4 | |a SEMANTICA |
650 | 1 | 4 | |a LOGICA MATEMATICA |
655 | 4 | |a Artículos de revista | |
773 | 1 | |t REVISTA UNIVERSIDAD EAFIT. |g Número 130 (abril/mayo/junio, 2003), página 29 | |
905 | |a BJFF_ANA |