Cerca
Afegir filtres:
Fes servir filtres per afinar els resultats de la cerca.
Resultats 1-2 de 2.
- anterior
- 1
- següent
Registres trobats:
Data de publicació | Títol | Autor(s) |
---|---|---|
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 |
Opcions relacionades
Matèria
Tipus de publicació