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.10.0
Última actualización:
Interfaz de Usuario: 26/06/2025
Base de Datos: 26/06/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:
14
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...
Cargando información...
14 Productos
Más citado
CSV
API
Sistemas multi–modales de profundidad restringida
Acceso Cerrado
ART-GC_ART
ID Minciencias: ART-0000085359-6462
Fuente: Ingeniería y Ciencia
Manuel Hernando Sierra Aristizábal
Temas:
Humanities
Mathematics
Modal
Philosophy
Chemistry
Polymer chemistry
Publicado: 2008
Citaciones:
3
Artículo de revista
Lógica de las tautologías
Acceso Abierto
ART-GC_ART
ID Minciencias: ART-0000085359-6467
Fuente: Ingeniería y Ciencia
Manuel Hernando Sierra Aristizábal
Temas:
Humanities
Philosophy
Physics
Publicado: 2012
Citaciones:
1
Altmétricas:
0
Artículo de revista
Árboles de forzamiento semántico para operaciones entre conjuntos
Acceso Abierto
ART-ART_C
ID Minciencias: ART-0000085359-6501
Fuente: Revista Facultad De Ciencias Básicas
Manuel Hernando Sierra Aristizábal
Temas:
Humanities
Art
Philosophy
Publicado: 2017
Citaciones:
1
Altmétricas:
0
Artículo de revista
Árboles de forzamiento semántico
Acceso Cerrado
Fuente: Revista Universidad Eafit
Manuel Hernando Sierra Aristizábal
Temas:
Philosophy
Humanities
Natural (archaeology)
Geography
Archaeology
Publicado: 2001
Citaciones:
1
Artículo de revista
Lógicas epistémica y doxástica con restricciones
Acceso Cerrado
ART-GC_ART
ID Minciencias: ART-0000085359-6464
Fuente: Ingeniería y Ciencia
Manuel Hernando Sierra Aristizábal
Temas:
Humanities
Philosophy
Publicado: 2010
Citaciones:
1
Artículo de revista
Restricted normal modal logics and levelled possible worlds semantics
Acceso Abierto
ART-ART_A1
ID Minciencias: ART-0000085359-6468
Fuente: Journal of Logic and Computation
Juan Carlos Agudelo Agudelo
Manuel Hernando Sierra Aristizábal
Temas:
Normal modal logic
Accessibility relation
Modal
Axiom
S5
Possible world
Modal operator
Modal logic
Semantics (computer science)
Mathematics
Kripke semantics
Computer science
Epistemology
Philosophy
Geometry
Programming language
Chemistry
Polymer chemistry
Publicado: 2012
Citaciones:
0
Altmétricas:
0
Artículo de revista
PRECISIONES SOBRE LA DERIVADA Y LA ANTI-DERIVADA DE LA RAÍZ DE UNA POTENCIA ENTERA
Acceso Abierto
ART-GC_ART
ID Minciencias: ART-0000085359-6500
Fuente: Revista de la Facultad de Ciencias
Manuel Hernando Sierra Aristizábal
Temas:
Humanities
Physics
Philosophy
Publicado: 2016
Citaciones:
0
Altmétricas:
0
Publicaciones editoriales no especializadas
Consistencia de los sistemas LD5 a LD10
Acceso Cerrado
Fuente: Boletín de Matemáticas
Manuel Hernando Sierra Aristizábal
Temas:
Consistency (knowledge bases)
Computer science
Artificial intelligence
Publicado: 1998
Citaciones:
0
Artículo de revista
Sistemas de lógica diagonal LD1, LD2,...LD42
Acceso Cerrado
Fuente: Revista Universidad Eafit
Manuel Hernando Sierra Aristizábal
Temas:
Diagonal
Physics
Computer science
Mathematics
Geometry
Publicado: 2001
Citaciones:
0
Artículo de revista
ACCESIBILIDAD ENTRE MUNDOS POSIBLES
Libro
Manuel Hernando Sierra Aristizábal
Publicado: 1999
Citaciones:
0
Libro
1
NaN
NaN / pág.
