Cerca per Matèria estratègies de prova
Mostrant resultats 1 a 2 de 2
Data de publicació | Títol | Autor(s) |
---|---|---|
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 |