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
| Main Author: | |
|---|---|
| Format: | Article |
| Language: | Spanish |
| Subjects: |
| LEADER | 00832nab 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 | ||