br
fr

Chercher

Dictionnaire de l'informatique

A  B  C  D  E  F  G  H  I  J  K  L  M  N  O  P  Q  R  S  T  U  V  W  X  Y  Z  


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 &]