Buscar
Añadir filtros:
Usa los filtros para afinar la busqueda.
Resultados 1-2 de 2.
- 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 |
Opciones relacionadas
Materia
Tipo de publicación