Innovating Works

PTASNCL

Financiado
Presupuesto del proyecto 219K€

Perfil tecnológico del proyecto Se calculan automáticamente a través de las palabras clave.
Applied Physics Software
Mathematics Computer Science Artificial Intelligence Data Science

Palabras clave Extraídas de toda la información encontrada de este proyecto
#non-classical logics #many-valued logics #fuzzy logics #Lambek calculus #linear logic #algebraic structures #universal algebra #algebraic logic