PID2020-116502GB-I00
Financiado
Presupuesto del proyecto
32K€
Perfil tecnológico del proyecto
Se calculan automáticamente a través de las palabras clave.
Applied Physics
Mathematics Logic Philosophy of Science
Mathematics Logic Philosophy of Science
Palabras clave
Extraídas de toda la información encontrada de este proyecto
#relevance logic
#semantics
#Mingle
#disjunctive syllogism
#proof rules
#entailment
Lider