démonstration automatique de théorèmes

concept procédé de démonstration par ordinateur

Catégories : informatique · informatique et technologie · concepts abstraits

Mots du lexique : démonstration nom commun, automatique nom commun

Wikidata Q431667 · Wikipédia