bn:00291640n
Noun Named Entity
Categories: Raisonnement mathématique
FR
SLD-résolution  SLD-resolution  résolution sld
FR
En programmation logique, la SLD-résolution est un algorithme servant à prouver une formule de logique du premier ordre à partir d'un ensemble de clauses de Horn. Wikipedia
Definitions
Relations
Sources
FR
En programmation logique, la SLD-résolution est un algorithme servant à prouver une formule de logique du premier ordre à partir d'un ensemble de clauses de Horn. Wikipedia
Wikipedia
Wikidata
Wikipedia Redirections
Wikidata Alias
Wikipedia Translations