Materias dentro de su búsqueda.
Buscar alternativas:
"interaction theorem proving" » "interaccion theorem proving" (Expander búsqueda), "interaction theorem improving" (Expander búsqueda)
"integracion theorem province" » "integracion theorem provincia" (Expander búsqueda)
Mostrando 1 - 3 Resultados de 3 Para Buscar '(("interaction theorem proving") OR ("integracion theorem province"))', tiempo de consulta: 0.09s 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