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