Skip navigation
Universitat Oberta de Catalunya
EN
català
español
english
Universitat Oberta
de Catalunya
Home
Browse
Communities
& Collections
Browse Items by:
Author
Title
Issue Date
Subject
The Library Replies
Log in
Log in
Receive email
updates
Edit Profile
Repositori Institucional (O2)
Search
Search:
All the O2
Docència
Economía y Empresa
Matemáticas y estadística
Recursos de aprendizaje UOC
for
Current filters:
Title
Author
Subject
Date Issued
Type of publication
Equals
Contains
ID
Not Equals
Not Contains
Not ID
Start a new search
Add filters:
Use filters to refine the search results.
Title
Author
Subject
Date Issued
Type of publication
Equals
Contains
ID
Not Equals
Not Contains
Not ID
Results 1-2 of 2 (Search time: 0.002 seconds).
previous
1
next
Item hits:
Issue Date
Title
Author(s)
2010-02-01
Formalization and Proofs, february 2010
Clarisó, Robert
;
Universitat Oberta de Catalunya
2010-02-01
Formal Proof : Understanding, writing and evaluating proofs, february 2010
Clarisó, Robert
;
Huertas, M. Antonia
;
Universitat Oberta de Catalunya
;
Megias, David
Discover
Author
2
Clarisó, Robert
1
Huertas, M. Antonia
Subject
2
CIRAX
2
estrategias de prueba
2
estratègies de prova
2
investigación
2
proof strategies
.
next >
Date issued
2
2010
Type of publication
2
Lecture