Please use this identifier to cite or link to this item:
http://hdl.handle.net/10609/57346
| Title: | Formal Proof : Understanding, writing and evaluating proofs, february 2010 |
| Author: | Clarisó, Robert  Huertas, M. Antonia |
| Director: | Megias, David |
| Others: | Universitat Oberta de Catalunya |
| Abstract: | Learning material of the "Universitat Oberta de Catalunya". |
| Keywords: | CIRAX formal proofs proof strategies research |
| Document type: | info:eu-repo/semantics/lecture |
| Issue Date: | 1-Feb-2010 |
| Publication license: | http://creativecommons.org/licenses/by-nc-nd/3.0/es/  http://creativecommons.org/licenses/by-nc-nd/3.0/es/ |
| Appears in Collections: | Recursos de aprendizaje UOC Recursos Educativos UOC Abiertos |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| Formal Proof, Understanding, writing and evaluating proofs.pdf | Formal Proof; Understanding, writing and evaluating proofs | 330,01 kB | Adobe PDF |  View/Open |
Share:
Google Scholar
Microsoft Academic
This item is licensed under a Creative Commons License
