RYC-2010-06319
Financiado
Presupuesto del proyecto
192K€
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
#subminimal negations
#double negation laws
#contraposition
#reductio
#relevance logics
Lider