Démonstration de théorèmes


De DataFranca

Définition

Dans un système formel, séquence de règles d'inférence appliquée pour obtenir des théorèmes.

Français

démonstration de théorèmes

preuve de théorème

preuve de théorèmes

Anglais

theorem proving


Source : Le grand dictionnaire terminologique

Source : UTexas Artificial Intelligence Vocabulary

Contributeurs : Isaline Hodecent, Pitpitt