next up previous contents
suivant : 4.2.1 Lien avec les remonter : 4. Arbres précédent : 4.1.4 Application aux arbres

4.2 Preuves par induction



Sous-sections

Alexandre
2009-07-20