Geriadur ar stlenneg

démonstration

― automatique des théorèmes dienaerezh emgefreek an delakadennoù [intelligence artificielle]
la ―procède en deux étapes daou dennad zo en dienadur [récurrence : raisonnement &]