Innovating Works

FFI2008-05859

Financiado
Presupuesto del proyecto 23K€

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

Palabras clave Extraídas de toda la información encontrada de este proyecto
#constructive logic #ternary relational semantics #consistency concepts #intuitionistic negation #basic logic