Examinando por Autor "SIERRA, MANUEL HERNANDO"
Mostrando 1 - 20 de 22
Resultados por página
Opciones de ordenación
Ítem Arboles de forzamiento semantico(Fondo Editorial Universidad EAFIT, 2001-01-01) Sierra, Manuel Hernando; SIERRA, MANUEL HERNANDO; Universidad EAFIT. Departamento de Ciencias; Lógica y ComputaciónÍtem Arboles de forzamiento semántico para el sistema básico con afirmación y negación alternas(2006-01-01) Sierra, Manuel Hernando; SIERRA, MANUEL HERNANDO; Universidad EAFIT. Departamento de Ciencias; Lógica y ComputaciónÍtem Arboles de forzamiento semántico para operaciones entre conjuntos(2017-01-01) Sierra, Manuel Hernando; SIERRA, MANUEL HERNANDO; Universidad EAFIT. Departamento de Ciencias; Lógica y ComputaciónÍtem Caracterización deductiva de los árboles de forzamiento semántico(Fondo Editorial Universidad EAFIT, 2006-01-01) Sierra, Manuel Hernando; SIERRA, MANUEL HERNANDO; Universidad EAFIT. Departamento de Ciencias; Lógica y ComputaciónÍtem Caracterización semántica de la jerarquía SCR-n(2007-01-01) Sierra, Manuel Hernando; SIERRA, MANUEL HERNANDO; Universidad EAFIT. Departamento de Ciencias; Lógica y ComputaciónÍtem Forzamiento Semántico de Marcas para la Lógica Básica Paraconsistente LBPc(Fondo Editorial Universidad EAFIT, 2003-06-01) Sierra, Manuel Hernando; SIERRA, MANUEL HERNANDO; Universidad EAFIT. Departamento de Ciencias; Lógica y ComputaciónÍtem Inferencia Visual Para Lógicas Normales(Editorial EAFIT, 2001-01-01) SIERRA, MANUEL HERNANDO; SIERRA, MANUEL HERNANDO; Universidad EAFIT. Departamento de Ciencias; Lógica y ComputaciónÍtem Lógica Básica con Aceptación Fuerte(2003-01-01) Sierra, Manuel Hernando; SIERRA, MANUEL HERNANDO; Universidad EAFIT. Departamento de Ciencias; Lógica y ComputaciónÍtem Lógica básica con afirmación alterna(Fondo Editorial Universidad EAFIT, 2005-01-01) Sierra, Manuel Hernando; SIERRA, MANUEL HERNANDO; Universidad EAFIT. Departamento de Ciencias; Lógica y ComputaciónÍtem Lógica básica con afirmación y negación alternas(Fondo Editorial Universidad EAFIT, 2005-01-01) Sierra, Manuel Hernando; SIERRA, MANUEL HERNANDO; Universidad EAFIT. Departamento de Ciencias; Lógica y ComputaciónÍtem Lógica Básica Para La Verdad Aristotélica(Editorial EAFIT, 2010-01-01) SIERRA, MANUEL HERNANDO; SIERRA, MANUEL HERNANDO; Universidad EAFIT. Departamento de Ciencias; Lógica y ComputaciónÍtem Lógica básica para la verdad y la falsedad(Fondo Editorial Universidad EAFIT, 2007-01-01) Sierra, Manuel Hernando; SIERRA, MANUEL HERNANDO; Universidad EAFIT. Departamento de Ciencias; Lógica y ComputaciónÍtem Logica Basica paraconsistente y paracompleta con negacion clasica(Fondo Editorial Universidad EAFIT, 2002-01-01) Sierra, Manuel Hernando; SIERRA, MANUEL HERNANDO; Universidad EAFIT. Departamento de Ciencias; Lógica y ComputaciónÍtem Lógica básica paraconsistente y paracompleta sin negación clásica y algunas de sus extensiones(2005-01-01) Sierra, Manuel Hernando; SIERRA, MANUEL HERNANDO; Universidad EAFIT. Departamento de Ciencias; Lógica y ComputaciónÍtem Lógica Básica Paraconsistente y Paracompleta y algunas de sus extensiones(Fondo Editorial Universidad EAFIT, 2004-01-01) Sierra, Manuel Hernando; SIERRA, MANUEL HERNANDO; Universidad EAFIT. Departamento de Ciencias; Lógica y ComputaciónÍtem Lógicas epistémica y doxástica con restricciones(Fondo Editorial Universidad EAFIT, 2010-12-01) Sierra, Manuel Hernando; SIERRA, MANUEL HERNANDO; Universidad EAFIT. Departamento de Ciencias; Lógica y ComputaciónÍtem Precisiones sobre la derivada y la anti-derivada de la raíz de una potencia entera(Universidad Nacional de Colombia, 2016-06-01) Sierra, Manuel Hernando; SIERRA, MANUEL HERNANDO; Universidad EAFIT. Departamento de Ciencias; Lógica y ComputaciónÍtem Sistema de logica paraconsistente C1(Fondo Editorial Universidad EAFIT, 2000-01-01) Sierra, Manuel Hernando; SIERRA, MANUEL HERNANDO; Universidad EAFIT. Departamento de Ciencias; Lógica y ComputaciónÍtem Sistema paracompleto LBPo¬C(2007-01-01) Sierra, Manuel Hernando; SIERRA, MANUEL HERNANDO; Universidad EAFIT. Departamento de Ciencias; Lógica y ComputaciónÍtem Sistema paraconsistente LBPc¬I(Fondo Editorial Universidad EAFIT, 2006-01-01) Sierra, Manuel Hernando; SIERRA, MANUEL HERNANDO; Universidad EAFIT. Departamento de Ciencias; Lógica y Computación