TIN2009-09492
Financiado
MARCO LOGICO-COMPUTACIONAL PARA LA EVOLUCION DE TEORIAS SOBRE CONCEPTOS FORMALES
EL PROYECTO CONSISTE EN LA ELABORACION DE UN MARCO LOGICO-COMPUTACIONAL SOBRE EL QUE FUNDAMENTAR EL MANEJO Y APLICACION DE LA EVOLUCION DE LAS TEORIAS SOBRE CONCEPTOS FORMALES, ESPECIFICADAS EN FORMALISMOS COMO EL ANALISIS FORMAL...
ver más
01/01/2009
US
58K€
Presupuesto del proyecto: 58K€
Líder del proyecto
UNIVERSIDAD DE SEVILLA
No se ha especificado una descripción o un objeto social para esta compañía.
Total investigadores
3670
Total investigadores
3670
Fecha límite participación
Sin fecha límite de participación.
Financiación
concedida
El organismo AGENCIA ESTATAL DE INVESTIGACIÓN notifico la concesión del proyecto
el día 2009-01-01
No tenemos la información de la convocatoria
Información adicional privada
No hay información privada compartida para este proyecto. Habla con el coordinador.
Conecta tu I+D
¿Tienes un proyecto y buscas un partner? Gracias a nuestro motor inteligente podemos recomendarte los mejores socios y ponerte en contacto con ellos. Te lo explicamos en este video
Proyectos interesantes
TIN2017-87610-R
RAZONAMIENTO AUTOMATICO, EJECUCION DE MODELOS Y ANALISIS DE...
161K€
Cerrado
TIN2009-13692-C03-03
EVOLUCION DEL RAZONAMIENTO BASADO EN CASOS PARA APLICACIONES...
180K€
Cerrado
TIN2009-14562-C05-04
FEAST: FUNDAMENTOS Y EXTENSIONES DE LA TECNOLOGIA ANSWER SET...
141K€
Cerrado
TIN2009-14562-C05-03
FEAST: FUNDAMENTOS Y EXTENSIONES DE LA TECNOLOGIA ANSWER SET...
22K€
Cerrado
TIN2009-14562-C05-05
FUNDAMENTOS Y EXTENSIONES DE LA TECNOLOGIA ANSWER SET PROGRA...
54K€
Cerrado
TIN2009-14562-C05-01
FUNDAMENTOS Y EXTENSIONES DE LA TECNOLOGIA ANSWER SET PROGRA...
189K€
Cerrado