Démonstration Automatique de Théorèmes

concept

procédé de démonstration par ordinateur

Liens externes

Lien Wikipedia : https://fr.wikipedia.org/wiki/Démonstration_automatique_de_théorèmes

Lien Wikidata : https://www.wikidata.org/wiki/Q431667

Propriétés

Catégories

informatique informatique et technologie concepts abstraits

Mots liés

démonstration NOM automatique NOM