Traducciones, lógicas combinadas, descripciones, lógica intensiva, teoría de tipos, lógica híbrida, identidad, lógica y educación

Durada del 01 de gener de 2018 al 31 de desembre de 2019 (24 mesos) Va acabar

16.940,00 €

D'àmbit Nacional.

Convocatòria: Convocatoria de tramitación anticipada para el año 2017 del procedimiento deconcesión de ayudas a proyectos de I+D correspondientes al Programa Estatal deFomento de la Investigación Científica y Técnica de EXCELENCIA (Ministerio de Economía y Competitividad)

Programa: Programa Estatal de Fomento de la Investigación Científica y Técnica de Excelencia,

Investigadors/ores

Responsable

Traducciones, lógicas combinadas, descripciones, lógica intensiva, teoría de tipos, lógica híbrida, identidad, lógica y educación

Investigadors/ores Filtra per nom i cognoms Filtra $(document).ready(function () { new FilterComponent("miembros/filtrar", "personas", "#miembros", ".proyecto-miembros__item").init(); });

Investigadors/ores