Search
Add filters:
Use filters to refine the search results.
Results 1-1 of 1 (Search time: 0.152 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