Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Buscar alternativas:
"Theorem proving" » "Theorem province" (Expander búsqueda)
"Theorem improving" » "Theorem improvince" (Expander búsqueda)
"Theorem proving" » "Theorem province" (Expander búsqueda)
"Theorem improving" » "Theorem improvince" (Expander búsqueda)
-
1por Moscato, Mariano MiguelMaterias: “...INTERACTIVE THEOREM PROVING...”
Publicado 2013
Tesis doctoral publishedVersion -
2por Moscato, Mariano MiguelMaterias: “...INTERACTIVE THEOREM PROVING...”
Publicado 2013
Tesis doctoral publishedVersion -
3por Moscato, Mariano MiguelMaterias: “...INTERACTIVE THEOREM PROVING...”
Publicado 2013
Tesis Doctoral