Formalization and Proofs, february 2010

Clarisó, Robert

To access the full text documents, please follow this link:: http://hdl.handle.net/10609/57345

Other authors: Universitat Oberta de Catalunya

Date: 2016-09-23

Document type: Lecture notes

Published by: Universitat Oberta de Catalunya

Material docent de la Universitat Oberta de Catalunya.

Material docente de la "Universitat Oberta de Catalunya".

Learning material of the "Universitat Oberta de Catalunya".

This item appears in the following Collections