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ó Viladrosa, Robert Huertas Sánchez, María Antonia |
| Director: | Megías Jiménez, David |
| Others: | Universitat Oberta de Catalunya |
| Keywords: | CIRAX formal proofs proof strategies research |
| Issue Date: | 1-Feb-2010 |
| Publisher: | Universitat Oberta de Catalunya |
| Abstract: | Learning material of the "Universitat Oberta de Catalunya". |
| Language: | |
| URI: | http://hdl.handle.net/10609/57346 |
| 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
