Cerca
Afegir filtres:
Fes servir filtres per afinar els resultats de la cerca.
Results 1-1 of 1 (Search time: 0.002 seconds).
- previous
- 1
- next
Item hits:
| Issue Date | Title | Author(s) |
|---|---|---|
| 2010-02-01 | Formal Proof : Understanding, writing and evaluating proofs, february 2010 | Clarisó, Robert; Huertas, M. Antonia; Universitat Oberta de Catalunya; Megias, David |
Discover
Subject
Type of publication
- 1 Lecture