Please use this identifier to cite or link to this item:
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
Issue Date: 1-Feb-2010
Publisher: Universitat Oberta de Catalunya
Abstract: Learning material of the "Universitat Oberta de Catalunya".
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