Formalization and Proofs, february 2010

Clarisó, Robert

Per accedir al/s document/s amb el text complet, si us plau, seguiu el següent enllaç: http://hdl.handle.net/10609/57345

Altres autors/es: Universitat Oberta de Catalunya

Data: 2016-09-23

Tipus de document: Lecture notes

Publicat per: 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".

Aquest element apareix a les col·leccions següents