Automatización para el entorno Isabelle / ZF

Mostrar todas las versiones(2)

Tesis (Lic. en Cs. de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía, Física y Computación, 2021.

Guardado en:
Detalles Bibliográficos
Autor principal: Steinberg, Matías Uriel
Otros Autores: Pagano, Miguel María
Formato: bachelorThesis
Lenguaje:Español
Publicado: 2021
Materias:
Formalización
Relativización
Hipótesis del continuo
Isabelle / ZF
Theory of computation
Logic
Forcing
Acceso en línea:http://hdl.handle.net/11086/17550
Aporte de:
Repositorio Digital Universitario (UNC) de Universidad Nacional de Córdoba
id I10-R14111086-17550
record_format dspace
institution Universidad Nacional de Córdoba
institution_str I-10
repository_str R-141
collection Repositorio Digital Universitario (UNC)
language Español
topic Formalización
Relativización
Hipótesis del continuo
Isabelle / ZF
Theory of computation
Logic
Forcing
spellingShingle Formalización
Relativización
Hipótesis del continuo
Isabelle / ZF
Theory of computation
Logic
Forcing
Steinberg, Matías Uriel
Automatización para el entorno Isabelle / ZF
topic_facet Formalización
Relativización
Hipótesis del continuo
Isabelle / ZF
Theory of computation
Logic
Forcing
description Tesis (Lic. en Cs. de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía, Física y Computación, 2021.
author2 Pagano, Miguel María
author_facet Pagano, Miguel María
Steinberg, Matías Uriel
format bachelorThesis
author Steinberg, Matías Uriel
author_sort Steinberg, Matías Uriel
title Automatización para el entorno Isabelle / ZF
title_short Automatización para el entorno Isabelle / ZF
title_full Automatización para el entorno Isabelle / ZF
title_fullStr Automatización para el entorno Isabelle / ZF
title_full_unstemmed Automatización para el entorno Isabelle / ZF
title_sort automatización para el entorno isabelle / zf
publishDate 2021
url http://hdl.handle.net/11086/17550
work_keys_str_mv AT steinbergmatiasuriel automatizacionparaelentornoisabellezf
bdutipo_str Repositorios
_version_ 1764820393237938177

Ejemplares similares