GETFUN
Financiado
Presupuesto del proyecto
222K€
Perfil tecnológico del proyecto
Se calculan automáticamente a través de las palabras clave.
Software
Applied Physics
Artificial Intelligence Data Analytics Computer Science Logic
Artificial Intelligence Data Analytics Computer Science Logic
Palabras clave
Extraídas de toda la información encontrada de este proyecto
#compositionality
#formal languages
#truth functionality
#logical derivations
#metaproperties
#computational systems
#formal semantics
Lider
N.D. |
Participante
N.D. |
Participante
N.D. |
Participante