Preuve Assistée Par Ordinateur

concept

Liens externes

Lien Wikipedia : https://fr.wikipedia.org/wiki/Preuve_assistée_par_ordinateur

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

Propriétés

p279_labels: Q22907339, démonstration mathématique

Catégories

concepts abstraits

Mots liés

preuve NOM par NOM ordinateur NOM