RYC2021-032670-I
Financiado
Presupuesto del proyecto
236K€
Perfil tecnológico del proyecto
Se calculan automáticamente a través de las palabras clave.
Applied Physics
Mathematics Logic Computer Science
Mathematics Logic Computer Science
Palabras clave
Extraídas de toda la información encontrada de este proyecto
#algebraic study
#quantifiers
#substructural logics
Lider