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
Sergio Alberto Alarcón Vasco
Universidad Católica de Pereira
Perfil externo:
Citaciones:
0
Productos:
2
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...
2 Productos
Más citado
CSV
API
Cálculo diferencial mediado por TIC y videos
Acceso Cerrado
LIB-GC_LIB
ID Minciencias: LIB-0000021297-39
Fuente: Instituto Tecnológico Metropolitano eBooks
John Jairo García Mora
Julia Victoria Escobar Londoño
Carlos Alberto Rojas Hincapié
Carlos Mario Restrepo Restrepo
Cesar Augusto Jaramillo
Elkin Alberto Castrillón Jiménez
Héctor Javier Herrera Mejía
Juan Guillermo Arango Arango
MARGARITA EMILIA
María Encarnación Ramírez Escobar
Mostrar todos
Temas:
Computer science
Publicado: 2016
Citaciones:
0
Altmétricas:
0
Publicaciones editoriales no especializadas
La lógica proposicional y su Aplicación en contexto
Acceso Cerrado
Fuente: Encuentros Nacionales e Internacionales del Departamento de Ciencias Básicas e Ingeniería
Carlos Mario Restrepo Restrepo
Héctor Javier Herrera Mejía
Sergio Alberto Alarcón Vasco
Temas:
Negation
Propositional calculus
Meaning (existential)
Forgetting
Context (archaeology)
Well-formed formula
Conjunction (astronomy)
Subject (documents)
Logical connective
Propositional variable
Computer science
Mathematics
Epistemology
Mathematics education
Artificial intelligence
Psychology
Discrete mathematics
Philosophy
Cognitive psychology
Description logic
Intermediate logic
Paleontology
Physics
Astronomy
Library science
Biology
Programming language
Publicado: 2011
Citaciones:
0
Artículo de revista
1
NaN
