Buscar por Materia estratègies de prova
Mostrando resultados 1 a 2 de 2
Fecha de publicación | Título | Autor(es) |
---|---|---|
2010-02-01 | Formal Proof : Understanding, writing and evaluating proofs, february 2010 | Clarisó, Robert; Huertas, M. Antonia; Universitat Oberta de Catalunya; Megias, David |
2010-02-01 | Formalization and Proofs, february 2010 | Clarisó, Robert; Universitat Oberta de Catalunya |