Arrêt de service programmé du vendredi 10 juin 16h jusqu’au lundi 13 juin 9h. Pour en savoir plus
Accéder directement au contenu Accéder directement à la navigation
Communication dans un congrès

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

Type de document :
Communication dans un congrès
Liste complète des métadonnées

https://hal.univ-angers.fr/hal-03350665
Contributeur : Okina Univ Angers Connectez-vous pour contacter le contributeur
Soumis le : mardi 21 septembre 2021 - 14:45:33
Dernière modification le : mercredi 20 octobre 2021 - 03:19:09
Archivage à long terme le : : mercredi 22 décembre 2021 - 19:05:23

Fichier

rjcia09.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-03350665, version 1
  • OKINA : ua4542

Collections

Citation

Benoit da Mota. Equivalences et forme prénexe pour les formules booléennes quantifiées. Rencontre des Jeunes Chercheurs en Intelligence Artificielle, RJCIA 2009, 2009, Hammamet, Tunisie. ⟨hal-03350665⟩

Partager

Métriques

Consultations de la notice

2

Téléchargements de fichiers

4