Démonstration de théorèmes

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