Skip navigation
Universitat Oberta de Catalunya
ES
català
español
english
Universitat Oberta
de Catalunya
Inicio
Explora
Todo el repositorio
Buscar elementos por:
Autor
Título
Fecha Publicación
Materia
La Biblioteca responde
Identifícate
Identifícate
Alertas
Editar perfil
Repositori Institucional (O2)
Buscar
Buscar:
Todo el O2
Docència
Economía y Empresa
Matemáticas y estadística
Recursos de aprendizaje UOC
por
Filtros actuales:
Título
Autor
Asunto
Fecha publicado
Tipo de publicación
Igual a
Contiene
ID
No igual a
No contiene
No es ID
Título
Autor
Asunto
Fecha publicado
Tipo de publicación
Igual a
Contiene
ID
No igual a
No contiene
No es ID
Título
Autor
Asunto
Fecha publicado
Tipo de publicación
Igual a
Contiene
ID
No igual a
No contiene
No es ID
Comenzar nueva busqueda
Añadir filtros:
Usa los filtros para afinar la busqueda.
Título
Autor
Asunto
Fecha publicado
Tipo de publicación
Igual a
Contiene
ID
No igual a
No contiene
No es ID
Resultados 1-4 de 4.
Anterior
1
Siguiente
Registros encontrados:
Fecha de publicación
Título
Autor(es)
2010-02-01
Formalization and Proofs, february 2010
Clarisó, Robert
;
Universitat Oberta de Catalunya
2010-02-01
Formal Proof : Understanding, writing and evaluating proofs, february 2010
Clarisó, Robert
;
Huertas, M. Antonia
;
Universitat Oberta de Catalunya
;
Megias, David
2010-09-01
Matemàtiques II, setembre 2010
Gras Martí, Albert
;
Sancho-Vinuesa, Teresa
;
Universitat Oberta de Catalunya
2010-02-01
Àlgebra, febrer 2010
Fortuny, Gerard
;
García López, Alfonsa
;
Juan, Angel A.
;
Parés Mariné, Núria
;
Pozo Montero, Francesc
;
Steegmann Pascual, Cristina
;
Vidal Seguí, Yolanda
;
Universitat Oberta de Catalunya
;
Huertas, M. Antonia
;
Lapedriza, Agata
;
Serrat Piè, Carles
Opciones relacionadas
Autor
2
Clarisó, Robert
1
Fortuny, Gerard
1
GARCIA LOPEZ, ALFONSA
1
Gras Martí, Albert
1
Huertas, M. Antonia
.
siguiente >
Materia
2
estrategias de prueba
2
estratègies de prova
2
formal proofs
2
investigación
2
proof strategies
.
siguiente >