Algorithme de Davis-putnam

concept

Liens externes

Lien Wikipedia : https://fr.wikipedia.org/wiki/Algorithme_de_Davis-Putnam

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

Propriétés

Catégories

concepts mathématiques sciences concepts abstraits

Mots liés

algorithme NOM davis NOM PROPRE