FFI2009-09345
Financiado
Presupuesto del proyecto
48K€
Perfil tecnológico del proyecto
Se calculan automáticamente a través de las palabras clave.
Data Science
Software
Artificial Intelligence Computer Science Mathematics Logic
Artificial Intelligence Computer Science Mathematics Logic
Palabras clave
Extraídas de toda la información encontrada de este proyecto
#completeness
#expressive capacity
#computational capacity
#pure and applied logics
#algebraic logics
#descriptive logics
#hybrid logics
#first-order logic
Lider