Sistema de Deducción natural para la lógica modal y su implementación en el asistente de prueba COQ.
Participantes:
Fecha inicio:
01/01/2015
Fecha fin:
31/12/2020
Situación:
Inactivo
Tipo de proyecto:
Disciplinario
Procedencia:
Interno
Área:
Ciencias Físico Matemáticas y de la Tierra
Tema:
Conectividad informática y desarrollo de las tecnologías de la información, la comunicación y las telecomunicaciones
Proyecto asociado a:
Investigación Básica
Convocatoria:
Presupuesto de la UNAM asignado a la Dependencia
Tipo de producto:
PROYECTOS
