NDMANCL
Financiado
Presupuesto del proyecto
164K€
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 Mathematics
Artificial Intelligence Data Analytics Computer Science Mathematics
Palabras clave
Extraídas de toda la información encontrada de este proyecto
#non-deterministic matrices
#multi-valued matrices
#logical theory
#non-deterministic computations
#truth-value
#semantic framework
#proof theory
#automated deduction
Lider