Please use this identifier to cite or link to this item:

http://hdl.handle.net/10609/57345
Full metadata record
DC FieldValueLanguage
dc.contributor.authorClarisó Viladrosa, Robert-
dc.contributor.otherUniversitat Oberta de Catalunya-
dc.date.accessioned2016-09-22T22:59:28Z-
dc.date.available2016-09-22T22:59:28Z-
dc.date.issued2010-02-01-
dc.identifier.urihttp://hdl.handle.net/10609/57345-
dc.description.abstractMaterial docent de la Universitat Oberta de Catalunya.ca
dc.description.abstractMaterial docente de la "Universitat Oberta de Catalunya".es
dc.description.abstractLearning material of the "Universitat Oberta de Catalunya".en
dc.language.isoang-
dc.publisherUniversitat Oberta de Catalunya-
dc.rights.urihttp://creativecommons.org/licenses/by-nc-nd/3.0/es/-
dc.subjectCIRAXca
dc.subjectproves formalsca
dc.subjectpruebas formaleses
dc.subjectformal proofsen
dc.subjectestratègies de provaca
dc.subjectestrategias de pruebaes
dc.subjectproof strategiesen
dc.subjectrecercaca
dc.subjectinvestigaciónes
dc.subjectresearchen
dc.titleFormalization and Proofs, february 2010-
dc.typeinfo:eu-repo/semantics/lecture-
dc.audience.mediatorTheme areas::Interdisciplinary areas or subjects::Statisticsen
dc.audience.educationlevelUniversity degreesen
dc.rights.licensehttp://creativecommons.org/licenses/by-nc-nd/3.0/es/-
Appears in Collections:UOC Open Learning resources
UOC Learning resources

Files in This Item:
File Description SizeFormat 
Formalization and Proofs.pdfFormalization and Proofs608.65 kBAdobe PDFView/Open

This item is licensed under a Creative Commons License Creative Commons