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

Empreu aquest identificador per citar o enllaçar aquest ítem: http://hdl.handle.net/10609/57346

Registre complet de metadades

Camp DC	Valor	Llengua/Idioma
dc.contributor.author	Clarisó, Robert	-
dc.contributor.author	Huertas, M. 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.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.contributor.director	Megias, David	-
Apareix a les col·leccions:	Recursos de aprendizaje UOC Recursos Educativos UOC Abiertos