1 |
Démonstration automatiquebranche de l'informatique consacrée à la construction de programmes qui cherchent à démontrer des propositions Dénombrer: veut dire compter la quantité d'objets, de cas, de possibilités
|
2 |
Démonstration automatiqueREDIRECTDémonstration automatique de théorèmes
|
<< Roulé | endomitose >> |