Equivalences et forme prénexe pour les formules booléennes quantifiées - Université d'Angers Accéder directement au contenu
Communication Dans Un Congrès Année : 2009

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

Benoit da Mota
Laboratoire d'Etudes et de Recherche en Informatique d'Angers

Domaines

Informatique [cs]
Fichier principal
Vignette du fichier
rjcia09.pdf (209.52 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Okina Univ Angers  : Connectez-vous pour contacter le contributeur

https://univ-angers.hal.science/hal-03350665

Soumis le : mardi 21 septembre 2021-14:45:33

Dernière modification le : vendredi 27 janvier 2023-16:08:04

Archivage à long terme le : mercredi 22 décembre 2021-19:05:23

Télécharger pour visualiser

Dates et versions

hal-03350665 , version 1 (21-09-2021)

Identifiants

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

Citer

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-ANGERS LERIA
2 Consultations
31 Téléchargements

Partager

Gmail Facebook X LinkedIn More