BECAS
TORANZO CALDERÓN JoaquÍn Santiago
datos académicos
Título/s
Profesor de Enseñanza Media y Superior en Filosofía
Categoría
Beca Interna Doctoral en el marco de Proyectos de Investigación de Unidades Ejecutoras
Disciplina científica
Filosofía
Informática y Comunicaciones
Informática y Comunicaciones
Disciplina desagregada
FILOSOFIA-LOGICA
Especialidad
Lógica e Inteligencia Artificial
Tema
Probadores Automáticos de Teoremas para Lógicas No Clásicas Subestructurales
Tema en inglés
Automated Theorem Proving for Substructural non-classical Logics
Palabras clave
Razonamiento Automático // Probadores Automáticos de Teoremas // Lógicas Subestructurales
Palabras clave en inglés
Automated reasoning // Automated Theorem Proving // Substructural Logics
Director
CRESTO, ELEONORA BEATRIZ / INV INDEPENDIENTE
Co-director
PAILOS, FEDERICO MATIAS / INV INDEPENDIENTE
Lugar de trabajo
[IIF] INSTITUTO DE INVESTIGACIONES FILOSOFICAS -
[OCA - PQUE. CENTENARIO] OFICINA DE COORDINACION ADMINISTRATIVA PQUE. CENTENARIO -
[CONICET] CONSEJO NACIONAL DE INVESTIGACIONES CIENTIFICAS Y TECNICAS -
[OCA - PQUE. CENTENARIO] OFICINA DE COORDINACION ADMINISTRATIVA PQUE. CENTENARIO -
[CONICET] CONSEJO NACIONAL DE INVESTIGACIONES CIENTIFICAS Y TECNICAS -
