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