Prenex normal form


De DataFranca

en construction


Définition

xxxxxxx

Français

xxxxxxx

Anglais

prenex normal form

a representation of formulas in first-order predicate calculus, in which all quantifiers are at the front of the formula.


Source : UTexas Artificial Intelligence Vocabulary



Si on ne peut se serrer la main, on va se serrer les coudes!

Contributeurs : admin
Vous devez demander un compte pour contribuer à cette page.