Equivalences et forme prénexe pour les formules booléennes quantifiées

DocumentFichier
Fichier pdf chargé le 09/10/2014 à 16:17:23
Accès libre
(version auteur)
fichier
TitreEquivalences et forme prénexe pour les formules booléennes quantifiées
Type de publicationCommunication
TypeCommunication avec actes dans un congrès
Année2009
LangueFrançais
Date du colloque2009
Titre du colloqueRencontre des Jeunes Chercheurs en Intelligence Artificielle, RJCIA 2009
Volume1
AuteurDa Mota, Benoit
PaysTunisie
EditeurPresses universitaires de Grenoble
VilleHammamet
ISBN978-2-7061-1537-0
Mots-clésforme prénexe, Formules Booléennes Quantifiées, fusion de quantificateurs, vérification formelle
Notes

Date du colloque : 05/2009

URL de la noticehttp://okina.univ-angers.fr/publications/ua4542