PROALG
Financiado
Presupuesto del proyecto
75K€
Perfil tecnológico del proyecto
Se calculan automáticamente a través de las palabras clave.
Applied Physics
Data Science
Mathematics Computer Science Logic Algebra
Mathematics Computer Science Logic Algebra
Palabras clave
Extraídas de toda la información encontrada de este proyecto
#proof-theoretic methods
#ordered algebraic structures
#residuated lattices
#non-classical logics
#algebraic interpretations
Lider