Search
Login
Home
|
What is it?
|
Contact
Català
Castellano
Home
/
CIRAX (Matemàtiques)
/
Search
JavaScript is disabled for your browser. Some features of this site may not work without it.
Search
Filters
Use filters to refine the search results.
Current Filters:
Title
Author
Subject
Date issued
Contains
Equals
ID
Not Contains
Not Equals
Not ID
Title
Author
Subject
Date issued
Contains
Equals
ID
Not Contains
Not Equals
Not ID
New Filters:
Title
Author
Subject
Date issued
Contains
Equals
ID
Not Contains
Not Equals
Not ID
Showing 1 out of a total of 1 results for community: CIRAX (Matemàtiques).
(0.005 seconds)
Now showing items 1-1 of 1
1
Sort Options:
Relevance
Title Asc
Title Desc
Issue Date Asc
Issue Date Desc
Results Per Page:
5
10
20
40
60
80
100
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.
Now showing items 1-1 of 1
1
Sort Options:
Relevance
Title Asc
Title Desc
Issue Date Asc
Issue Date Desc
Results Per Page:
5
10
20
40
60
80
100
Browse
All of MDX
Communities & Collections
Issue Date
Authors
Titles
Subjects
This Community
Issue Date
Authors
Titles
Subjects
Discover
Author
Clarisó Viladrosa, Robert (1)
Huertas Sánchez, Maria Antonia (1)
Subject
CIRAX (1)
estrategias de prueba (1)
estratègies de prova (1)
formal proofs (1)
investigación (1)
proof strategies (1)
proves formals (1)
pruebas formales (1)
recerca (1)
research (1)
... View More
Date Issued
2016 (1)