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: | SIERRA, MANUEL |
---|---|
Formato: | Artículo |
Lenguaje: | Spanish |
Materias: |
Ejemplares similares
-
La planeación y el análisis financiero como herramientas en la toma de decisiones: situación en las empresas productoras de calzado en El Salvador
por: Zubieta de Valiente, María del Carmen
Publicado: (1980) -
El Trabajo como Práctica Espiritual Un camino budista para el crecimiento personal y profesional
por: Richmond, Lewis
Publicado: (2001) -
La contabilidad de costos como herramienta de control gerencial /
por: Aguirre Tije, Blanca Leticia
Publicado: (1990) -
Efectividad en la investigación y el desarrollo
por: Seiler, Robert E
Publicado: (1975) -
FORZAMIENTO SEMANTICO DE MARCAS PARA LA LOGICA BASICA PARACONSISTENTE LBPC.
por: SIERRA ARISTIZABAL, MANUEL