Materias dentro de su búsqueda.
Buscar alternativas:
interactive » interaction (Expander búsqueda)
proving » improving (Expander búsqueda), province (Expander búsqueda)
Mostrando 1 - 3 Resultados de 3 Para Buscar '"INTERACTIVE THEOREM PROVING"', tiempo de consulta: 0.55s Limitar resultados
  1. 1
    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
  2. 2
    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
  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 publishedVersion
Herramientas de búsqueda: RSS — Enviar por Correo electrónico esta Búsqueda