« Prenex normal form » : différence entre les versions
(Arielle H a déplacé la page Prenex normal form vers Forme normale prénexe) Balise : Nouvelle redirection |
(Aucune différence)
|
Version du 3 avril 2021 à 12:11
Rediriger vers :
Contributeurs: Arielle Halindintwali, wiki