MTM2009-13842-C02-01
Financiado
GESTION MECANIZADA DEL CONOCIMIENTO MATEMATICO. APLICACIONES EN TOPOLOGIA ALGEBR...
GESTION MECANIZADA DEL CONOCIMIENTO MATEMATICO. APLICACIONES EN TOPOLOGIA ALGEBRAICA Y EN LOGICA.
ESTE PROYECTO NACE DE LA CONFLUENCIA DE DOS LINEAS DE INVESTIGACION DESARROLLADAS A LO LARGO DE LOS AÑOS POR DOS EQUIPOS DISTINTOS, UNO DE LA RIOJA Y OTRO DE SEVILLA, EL EQUIPO DE LA RIOJA HA TRABAJADO EN LOS ASPECTOS COMPUTACIONA...
ver más
01/01/2009
UR
52K€
Presupuesto del proyecto: 52K€
Líder del proyecto
UNIVERSIDAD DE LA RIOJA
No se ha especificado una descripción o un objeto social para esta compañía.
Total investigadores
311
Total investigadores
311
Financiación
concedida
El organismo AGENCIA ESTATAL DE INVESTIGACIÓN notifico la concesión del proyecto
el día 2009-01-01
Proyectos interesantes
MTM2009-13842-C02-02
GESTION MECANIZADA DEL CONOCIMIENTO MATEMATICO. APLICACIONES...
5K€
Cerrado
MeReMath
Mechanised Reverse Mathematics in the Calculus of Inductive...
196K€
Cerrado
MTM2008-01139
LOGICA ALGEBRAICA Y LOGICAS NO CLASICAS
41K€
Cerrado
MTM2011-25747
LOGICA ALGEBRAICA Y LOGICAS NO CLASICAS
72K€
Cerrado
MTM2011-26840
TEORIA DE MODELOS Y APLICACIONES
47K€
Cerrado
FFI2014-53919-P
SEMANTICA BIVALENTE TIPO DUNN Y SEMANTICA RELACIONAL TERNARI...
18K€
Cerrado