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ó Viladrosa, Robert  
Huertas Sánchez, María Antonia
Director: Megías Jiménez, 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:UOC Learning resources

Share:
Export:
Files in This Item:
File Description SizeFormat 
Formal Proof; Understanding, writing and evaluating proofs.pdfFormal Proof; Understanding, writing and evaluating proofs330.01 kBAdobe PDFView/Open

This item is licensed under a Creative Commons License Creative Commons