Tipo de registro dentro de su búsqueda.
Tipo de registro dentro de su búsqueda.
Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Buscar alternativas:
"Theorem proving" » "Theorem improving" (Expander búsqueda), "Theorem province" (Expander búsqueda)
"Theorem proving" » "Theorem improving" (Expander búsqueda), "Theorem province" (Expander búsqueda)
-
1por Orbe, Alejandro EzequielMaterias: “...Deduction and Theorem Proving...”
Publicado 2016
Aportado por: Repositorio Digital Universitario (UNC)doctoralThesis -
2por Orbe, Alejandro EzequielMaterias: “...Deduction and Theorem Proving...”
Publicado 2016
Aportado por: Repositorio Digital Universitario (UNC)doctoralThesis