THFTPTP
Financiado
Presupuesto del proyecto
130K€
Perfil tecnológico del proyecto
Se calculan automáticamente a través de las palabras clave.
Software
Data Science
Artificial Intelligence Machine Learning Computer Science Mathematics
Artificial Intelligence Machine Learning Computer Science Mathematics
Palabras clave
Extraídas de toda la información encontrada de este proyecto
#Automated Theorem Proving
#first-order logic
#higher-order logic
#TPTP
#TSTP
#CASC
#computational issues
#problem library
Lider