⇤ ← Version 1 à la date du 2023-10-05 18:35:15
528
Commentaire:
|
530
|
Texte supprimé. | Texte ajouté. |
Ligne 4: | Ligne 4: |
* [[https://wikimpri.dptinfo.ens-cachan.fr/doku.php?id=cours:c-2-7-2|2.7.2]] [[/2.7.2|Assistants de preuves]] * [[https://wikimpri.dptinfo.ens-cachan.fr/doku.php?id=cours:c-2-9-1|2.9.1]] [[/2.9.1|Aspects Algorithmiques de la Théorie des Beaux préordres]] |
* [[https://wikimpri.dptinfo.ens-cachan.fr/doku.php?id=cours:c-2-7-2|2.7.2]] [[/2.7.2|Assistants de preuves]] * [[https://wikimpri.dptinfo.ens-cachan.fr/doku.php?id=cours:c-2-9-1|2.9.1]] [[/2.9.1|Aspects Algorithmiques de la Théorie des Beaux préordres]] |
Page destinée à structurer certains des cours que je suis et à en trouver les ressources aisément. Le lien vers la page du wiki MPRI lié à chaque cours est dans le numéro, le lien vers la sous page est dans le nom.