root.skip-to-content
Español
English
Iniciar sesión
Correo electrónico
Contraseña
Iniciar sesión
¿Nuevo Usuario? Pulse aquí para registrarse
¿Has olvidado tu contraseña?
Comunidades
Todo el RepHip
Ayuda
Español
English
Iniciar sesión
Correo electrónico
Contraseña
Iniciar sesión
¿Nuevo Usuario? Pulse aquí para registrarse
¿Has olvidado tu contraseña?
Inicio
Comité de Acceso Abierto
Colección Datos de Investigación
Buscar por palabra clave
Colección Datos de Investigación
URI permanente para esta colección
https://rephip.unr.edu.ar/handle/2133/18945
Examinar
Envíos recientes
Por fecha de publicación
Por autor
Por título
Por materia
Por categoría
Envíos recientes
Por fecha de publicación
Por autor
Por título
Por materia
Por categoría
Examinando Colección Datos de Investigación por Materia "Formalization of Mathematics"
Examinar
Todos los resultados de la búsqueda
Mostrando
1 - 1 de 1
Resultados por página
1
5
10
20
40
60
80
100
Opciones de ordenación
Ascendente
Descendente
Ítem
Acceso Abierto
Domination Chain with Weighted Parameters (Coq files)
(
2019-03-14
)
Severín, Daniel Esteban
Más...