Materias dentro de su búsqueda.
Buscar alternativas:
"Theorem proving" » "Theorem improving" (Expander búsqueda)
"Theorem province" » "Theorem provincia" (Expander búsqueda)
Mostrando 1 - 3 Resultados de 3 Para Buscar '(("Theorem proving") OR ("Theorem province"))', tiempo de consulta: 0.11s Limitar resultados
  1. 1
    por Moscato, Mariano Miguel
    Publicado 2013
    Materias: “...INTERACTIVE THEOREM PROVING...”
    Aportado por: Repositorio Digital de la Universidad de Buenos Aires (UBA)
    Enlace del recurso
    Enlace del recurso
    Tesis doctoral publishedVersion
    Agregar a favoritos
    Guardado en:
  2. 2
    por Moscato, Mariano Miguel
    Publicado 2013
    Materias: “...INTERACTIVE THEOREM PROVING...”
    Aportado por: Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
    Enlace del recurso
    Tesis doctoral publishedVersion
    Agregar a favoritos
    Guardado en:
  3. 3
    por Moscato, Mariano Miguel
    Publicado 2013
    Materias: “...INTERACTIVE THEOREM PROVING...”
    Aportado por: Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
    Enlace del recurso
    Tesis Doctoral
    Agregar a favoritos
    Guardado en:
Herramientas de búsqueda: RSS — Enviar por Correo electrónico esta Búsqueda — Guardar Búsqueda