FFI2008-05859
Financiado
LOGICAS CONSTRUCTIVAS BASICAS PARA CUATRO CONCEPTOS DE CONSISTENCIA EN LA SEMANT...
LOGICAS CONSTRUCTIVAS BASICAS PARA CUATRO CONCEPTOS DE CONSISTENCIA EN LA SEMANTICA RELACIONAL TERNARIA CON UN CONJUNTO DE PUNTOS DESIGNADOS
SEA S UNA LOGICA Y T UNA TEORIA CONSTRUIDA SOBRE S, CONSIDERAMOS CUATRO CONCEPTOS DE CONSISTENCIA, UNA TEORIA T ES W1-INCONSISTENTE SYSS ¬A PERTENECE A T, SIENDO A UN TEOREMA DE S; T ES W2-INCONSISTENTE SYSS A PERTENCE A T, SIENDO...
ver más
01/01/2008
USAL
23K€
Presupuesto del proyecto: 23K€
Líder del proyecto
UNIVERSIDAD DE SALAMANCA
No se ha especificado una descripción o un objeto social para esta compañía.
Total investigadores
1151
Total investigadores
1151
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 2008-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.
Proyectos interesantes
FFI2017-82878-P
15K€
Cerrado
Applied Physics
Software
NTNSP
169K€
Cerrado
Applied Physics
Software
FFI2014-53919-P
18K€
Cerrado
Applied Physics
Software
ExtenDD
2M€
Cerrado
Applied Physics
Software
TEAMDEP
2M€
Cerrado
Applied Physics
Software
PID2019-110843GA-I00
25K€
Cerrado
Applied Physics
Software
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
