Home

|

What is it?

|

Browsing CIRAX (Matemàtiques) by Subject "proves formals"

Now showing items 1-2 of 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.

Now showing items 1-2 of 2

Search

Browse

All of MDX
This Collection
- Issue Date
- Authors
- Titles
- Subjects