| old_uid | 8078 |
|---|---|
| title | Prouver des algorithmes pour prouver des théorèmes |
| start_date | 2010/02/02 |
| schedule | 09h30-17h |
| online | no |
| details | Thème de la journée : La démonstration de correction d’algorithmes |
| responsibles | <not specified> |
| unset title | login |
Prouver des algorithmes pour prouver des théorèmes
|