Inicio

|

¿Qué es?

|

ListarCIRAX (Matemàtiques) por tema "pruebas formales"

Mostrando ítems 1-2 de 2

Formal Proof : Understanding, writing and evaluating proofs, february 2010

Clarisó Viladrosa, Robert; Huertas Sánchez, Maria Antonia (2016-09-23)

Material docent de la Universitat Oberta de Catalunya.
Formalization and Proofs, february 2010

Clarisó, Robert (2016-09-23)

Material docent de la Universitat Oberta de Catalunya.

Mostrando ítems 1-2 de 2

Buscar

Listar

Todo MDX
Esta colección