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ó, Robert  
Huertas, M. Antonia  
Director: Megias, 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 SizeFormat 
Formal Proof, Understanding, writing and evaluating proofs.pdfFormal Proof; Understanding, writing and evaluating proofs330,01 kBAdobe PDFThumbnail
View/Open