Formal Proof : Understanding, writing and evaluating proofs, february 2010

Please use this identifier to cite or link to this item: http://hdl.handle.net/10609/57346

Full metadata record

DC Field	Value	Language
dc.contributor.author	Clarisó Viladrosa, Robert	-
dc.contributor.author	Huertas Sánchez, María Antonia	-
dc.contributor.other	Universitat Oberta de Catalunya	-
dc.date.accessioned	2016-09-22T23:28:18Z	-
dc.date.available	2016-09-22T23:28:18Z	-
dc.date.issued	2010-02-01	-
dc.identifier.uri	http://hdl.handle.net/10609/57346	-
dc.description.abstract	Material docent de la Universitat Oberta de Catalunya.	ca
dc.description.abstract	Material docente de la "Universitat Oberta de Catalunya".	es
dc.description.abstract	Learning material of the "Universitat Oberta de Catalunya".	en
dc.language.iso	ang	-
dc.publisher	Universitat Oberta de Catalunya	-
dc.rights.uri	http://creativecommons.org/licenses/by-nc-nd/3.0/es/	-
dc.subject	CIRAX	en
dc.subject	CIRAX	ca
dc.subject	proves formals	ca
dc.subject	pruebas formales	es
dc.subject	formal proofs	en
dc.subject	estratègies de prova	ca
dc.subject	estrategias de prueba	es
dc.subject	proof strategies	en
dc.subject	recerca	ca
dc.subject	investigación	es
dc.subject	research	en
dc.title	Formal Proof : Understanding, writing and evaluating proofs, february 2010	-
dc.type	info:eu-repo/semantics/lecture	-
dc.audience.mediator	Theme areas::Interdisciplinary areas or subjects::Statistics	en
dc.audience.educationlevel	University degrees	en
dc.rights.license	http://creativecommons.org/licenses/by-nc-nd/3.0/es/	-
dc.contributor.director	Megías Jiménez, David	-
Appears in Collections:	Recursos de aprendizaje UOC Recursos Educativos UOC Abiertos