ARBOLES DE FORZAMIENTO SEMANTICO.
SE PRESENTA UN SISTEMA DE REGLAS DE INFERENCIA GRAFICA, EL CUAL PROPORCIONA DE MANERA NATURAL UN METODO EFECTIVO DE DECISIONE PARA EL CALCULO PROPOSICIONAL CLASICO Y CLASICO DE PREDICADOS MONADICOS DE PRIMER ORDEN
Autor principal: | |
---|---|
Formato: | Artículo |
Lenguaje: | Spanish |
Materias: |
LEADER | 00827nab a2200205 a 4500 | ||
---|---|---|---|
001 | 000081932 | ||
005 | 20150810104939.0 | ||
008 | 091006s mx 000 0 spa d | ||
040 | |a Sistema de Bibliotecas del Tecnológico de Costa Rica | ||
100 | 1 | |a SIERRA, MANUEL | |
245 | 1 | 0 | |a ARBOLES DE FORZAMIENTO SEMANTICO. |
520 | |a SE PRESENTA UN SISTEMA DE REGLAS DE INFERENCIA GRAFICA, EL CUAL PROPORCIONA DE MANERA NATURAL UN METODO EFECTIVO DE DECISIONE PARA EL CALCULO PROPOSICIONAL CLASICO Y CLASICO DE PREDICADOS MONADICOS DE PRIMER ORDEN | ||
535 | 1 | |a Sala de Colecciones abiertas | |
546 | |a Español | ||
590 | |a EDUC | ||
590 | |a R3132 | ||
650 | 1 | 4 | |a TOMA DE DESICIONES |
655 | 4 | |a Artículos de revista | |
773 | 1 | |t REVISTA UNIVERSIDAD EAFIT. |g Número 123 [ julio - agosto - setiembre. 2001 ], página 53 | |
905 | |a BJFF_ANA |