Tipo de registro dentro de su búsqueda.
Tipo de registro dentro de su búsqueda.
Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
ABSTRACT REWRITING SYSTEMS
3
CALCULI WITH EXPLICIT SUBSTITUTIONS
3
CALCULOS CON PATRONES
3
CALCULOS CON SUSTITUCIONES EXPLICITAS
3
EQUIVALENCE OF REDUCTIONS
3
EQUIVALENCIA ENTRE REDUCCIONES
3
ESTANDARIZACION
3
ESTRATEGIAS DE REDUCCION NORMALIZANTES
3
INFINITARY REWRITING
3
NORMALISING REDUCTION STRATEGIES
3
PATTERN CALCULI
3
PROOF TERMS
3
REESCRITURA
3
REESCRITURA INFINITARIA
3
REWRITING
3
SISTEMAS ABSTRACTOS DE REESCRITURA
3
STANDARDISATION
3
Ambientes virtuais de pesquisa
1
Apprentissage
1
Aprendizaje
1
Compartilhamento de dados
1
Compartir Datos
1
Dados FAIR
1
Data Portal
1
Data Sharing
1
Data Standardisation
1
Datos FAIR
1
Entornos Virtuales de Investigación
1
Estandarización
1
Estandarización de Datos
1
-
1
Aportado por: Biblioteca Central (FAUBA)Artículo -
2
Aportado por: Biblioteca Central (FAUBA)Artículo -
3por Sánchez Sánchez, Gerardo, Espinoza Cáceres, Thalía, Gutiérrez Núñez, Nicole, Letelier Contreras, Oliver, Vergara, Karenn Mora, Moraga Orellana, Romina, Muñoz Vega, PaulinaMaterias: “...Standardisation...”
Publicado 2020
Aportado por: Papeles de trabajoArtículo revista -
4
-
5por Lombardi, Carlos AlbertoMaterias: “...STANDARDISATION...”
Publicado 2014
Tesis doctoral publishedVersion -
6por Lombardi, Carlos AlbertoMaterias: “...STANDARDISATION...”
Publicado 2014
Tesis doctoral publishedVersion -
7Materias: “...Data Standardisation...”
Aportado por: Revista del Museo de AntropologíaArtículo revista