Démonstration de théorèmes
(Redirigé depuis Theorem proving)
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
Sources
Contributeurs: Isaline Hodecent, wiki
