Mots-clés – Auteurs – Publimath

induction structurelle

Il y a 2 résultats pour cette recherche

2020 Repères-IREM. N° 119. p. 45-63. Récurrence et récursivité à l’interface des mathématiques et de l’informatique.
Auteurs : Leon Nicolas ; Modeste Simon
2020 Repères-IREM. N° 119.
Auteur : Repères-IREM Comité de rédaction. Dir.