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ó Viladrosa, 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:UOC Open Learning resources
UOC Learning resources

Share:
Export:
Files in This Item:
File Description SizeFormat 
Formalization and Proofs.pdfFormalization and Proofs608.65 kBAdobe PDFView/Open

This item is licensed under a Creative Commons License Creative Commons