Please use this identifier to cite or link to this item:
http://hdl.handle.net/10609/57345
| Title: | Formalization and Proofs, february 2010 |
| Author: | Clarisó, Robert  |
| Others: | Universitat Oberta de Catalunya |
| Abstract: | Learning material of the "Universitat Oberta de Catalunya". |
| Keywords: | 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 | |
|---|---|---|---|---|
| Formalization and Proofs.pdf | Formalization and Proofs | 608,65 kB | Adobe PDF |  View/Open |
Share:
Google Scholar
Microsoft Academic
This item is licensed under a Creative Commons License
