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
Facultad de Ciencias Exactas, Ingeniería y Agrimensura (FCEIA)
FCEIA - Escuela de Ciencias Exactas y Naturales
Departamento de Matemática - FCEIA-ECEN-DM
FCEIA-ECEN-DM - Datos de Investigación
Buscar por palabra clave
FCEIA-ECEN-DM - Datos de Investigación
URI permanente para esta colección
https://rephip.unr.edu.ar/handle/2133/18956
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 FCEIA-ECEN-DM - 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...