Autor
Cargando información...
Fundadores:
Producto desarrollado por:
@colav
Contacto
ImpactU:
Acerca de ImpactU
Manual de usuario
Código Abierto
Datos Abiertos
Apidocs
Estadísticas de uso
Indicadores de Cooperación
Información:
ImpactU Versión 3.11.2
Última actualización:
Interfaz de Usuario: 16/10/2025
Base de Datos: 29/08/2025
Hecho en Colombia
Manuel Hernando Sierra Aristizábal
Universidad Nacional de Colombia
Lógica y Computación
Universidad EAFIT
Perfil externo:
Citaciones:
7
Productos:
13
Filtros
Investigación
Cooperación
Productos
Patentes
Proyectos
Noticias
i
Coautorías según país de afiliación
Cargando información...
i
Evolución anual según la clasificación del ScienTI (Top 20)
Cargando información...
13 Productos
Más citado
CSV
API
Sistemas multi–modales de profundidad restringida
Ver producto
Acceso Cerrado
ID Minciencias: ART-0000085359-6462
Ranking: ART-GC_ART
Fuente: Ingeniería y Ciencia
Manuel Hernando Sierra Aristizábal
Tópico:
Logic, Reasoning, and Knowledge
Publicado: 2008
Citaciones:
3
Artículo de revista
Lógica de las tautologías
Ver producto
Acceso Abierto
ID Minciencias: ART-0000085359-6467
Ranking: ART-GC_ART
Fuente: Ingeniería y Ciencia
Manuel Hernando Sierra Aristizábal
Tópico:
Business, Education, Mathematics Research
Publicado: 2012
Citaciones:
1
Altmétricas:
0
Artículo de revista
Árboles de forzamiento semántico para operaciones entre conjuntos
Ver producto
Acceso Abierto
ID Minciencias: ART-0000085359-6501
Ranking: ART-ART_C
Fuente: Revista Facultad De Ciencias Básicas
Manuel Hernando Sierra Aristizábal
Tópico:
Business, Innovation, and Economy
Publicado: 2017
Citaciones:
1
Altmétricas:
0
Artículo de revista
Árboles de forzamiento semántico
Ver producto
Acceso Cerrado
Fuente: Revista Universidad Eafit
Manuel Hernando Sierra Aristizábal
Tópico:
Multidisciplinary Science and Engineering Research
Publicado: 2001
Citaciones:
1
Artículo de revista
Lógicas epistémica y doxástica con restricciones
Ver producto
Acceso Cerrado
ID Minciencias: ART-0000085359-6464
Ranking: ART-GC_ART
Fuente: Ingeniería y Ciencia
Manuel Hernando Sierra Aristizábal
Tópico:
Logic, Reasoning, and Knowledge
Publicado: 2010
Citaciones:
1
Artículo de revista
PRECISIONES SOBRE LA DERIVADA Y LA ANTI-DERIVADA DE LA RAÍZ DE UNA POTENCIA ENTERA
Ver producto
Acceso Abierto
ID Minciencias: ART-0000085359-6500
Ranking: ART-GC_ART
Fuente: Revista de la Facultad de Ciencias
Manuel Hernando Sierra Aristizábal
Tópico:
History and Theory of Mathematics
Publicado: 2016
Citaciones:
0
Altmétricas:
0
Publicaciones editoriales no especializadas
Consistencia de los sistemas LD5 a LD10
Ver producto
Acceso Cerrado
Fuente: Boletín de Matemáticas
Manuel Hernando Sierra Aristizábal
Tópico:
Philosophy and Theoretical Science
Publicado: 1998
Citaciones:
0
Artículo de revista
Sistemas de lógica diagonal LD1, LD2,...LD42
Ver producto
Acceso Cerrado
Fuente: Revista Universidad Eafit
Manuel Hernando Sierra Aristizábal
Tópico:
Engineering and Information Technology
Publicado: 2001
Citaciones:
0
Artículo de revista
ACCESIBILIDAD ENTRE MUNDOS POSIBLES
Ver producto
Ranking: Libro
Manuel Hernando Sierra Aristizábal
Publicado: 1999
Citaciones:
0
Libro
LOGICA DIAGONAL
Ver producto
Ranking: Artículo de revista
Fuente: Boletín de Matemáticas
Manuel Hernando Sierra Aristizábal
Tópico:
Logic, Reasoning, and Knowledge
Publicado: 1999
Citaciones:
0
Artículo de revista
1
NaN
NaN / pág.
