Formalization and Proofs, february 2010

Clarisó, Robert

Para acceder a los documentos con el texto completo, por favor, siga el siguiente enlace: http://hdl.handle.net/10609/57345

Otros autores: Universitat Oberta de Catalunya

Fecha: 2016-09-23

Tipo de documento: Lecture notes

Publicado por: 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".

Este ítem aparece en las siguientes colecciones