Document | Fichier |
---|---|
Fichier pdf chargé le 09/10/2014 à 16:17:23 Accès libre (version auteur) | fichier |
Titre | Equivalences et forme prénexe pour les formules booléennes quantifiées |
Type de publication | Communication |
Type | Communication avec actes dans un congrès |
Année | 2009 |
Langue | Français |
Date du colloque | 2009 |
Titre du colloque | Rencontre des Jeunes Chercheurs en Intelligence Artificielle, RJCIA 2009 |
Volume | 1 |
Auteur | Da Mota, Benoit |
Pays | Tunisie |
Editeur | Presses universitaires de Grenoble |
Ville | Hammamet |
ISBN | 978-2-7061-1537-0 |
Mots-clés | forme prénexe, Formules Booléennes Quantifiées, fusion de quantificateurs, vérification formelle |
Notes | Date du colloque : 05/2009 |
URL de la notice | http://okina.univ-angers.fr/publications/ua4542 |