Please use this identifier to cite or link to this item: http://hdl.handle.net/10609/57345
Title: Formalization and Proofs, february 2010
Author: Clarisó, Robert  
Others: Universitat Oberta de Catalunya
Keywords: 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/57345
Appears in Collections:Recursos de aprendizaje UOC
Recursos Educativos UOC Abiertos

Files in This Item:
File Description SizeFormat 
Formalization and Proofs.pdfFormalization and Proofs608,65 kBAdobe PDFThumbnail
View/Open