Artículos
URI permanente para esta colección
Examinar
Envíos recientes
Ítem Un Depurador Abstracto, Inductivo y Paramétrico Para Programas Multiparadigma(2004-12-01) Correa, Francisco Jose; CORREA, FRANCISCO JOSE; Universidad EAFIT. Departamento de Ciencias; Lógica y ComputaciónÍtem Universalidad de la computación cuántica geométrica: modelo del medio Kerr(Sociedad Colombiana de Física, 2004-01-01) Sicard, Andrés; Sicard, Andrés; Universidad EAFIT. Departamento de Ciencias; Lógica y ComputaciónÍtem Universalidad de la computación cuántica geométrica: modelo de tres estados(Fondo Editorial Universidad EAFIT, 2005-01-01) Sicard, Andrés; Sicard, Andrés; 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 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 Poschl-Teller potentials based solution to Hilbert's tenth problem(Fondo Editorial Universidad EAFIT, 2006-09-01) Sicard, Andrés; Sicard, Andrés; 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 Sistema paracompleto LBPo¬C(2007-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 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Ítem Sistemas multi-modales de profundidad restringida(Fondo Editorial Universidad EAFIT, 2008-12-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 Quantum algorithm of hypercomputation based on the Poschl-Teller potencial(Sociedad Colombiana de Física, 2006-03-01) Sicard, Andrés; Sicard, Andrés; 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 Sistemas de logica diagonal LD1, LD2, , LD42(Fondo Editorial Universidad EAFIT, 2001-01-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 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 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 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