Détection de fonctions booléennes pour la preuve d'inconsistance - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2009

Détection de fonctions booléennes pour la preuve d'inconsistance

Résumé

Non disponible

Domaines

Intelligence artificielle [cs.AI]
Fichier principal
Vignette du fichier
paper_30.pdf (130.46 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Yves Deville  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-00387853

Soumis le : mardi 26 mai 2009-00:14:47

Dernière modification le : mardi 5 décembre 2023-18:08:07

Archivage à long terme le : lundi 15 octobre 2012-11:05:36

Télécharger pour visualiser

Dates et versions

hal-00387853 , version 1 (26-05-2009)

Identifiants

  • HAL Id : hal-00387853 , version 1

Citer

Richard Ostrowski, Lionel Paris. Détection de fonctions booléennes pour la preuve d'inconsistance. Cinquièmes Journées Francophones de Programmation par Contraintes, Orléans, juin 2009, Jun 2009, France. pp.237-245. ⟨hal-00387853⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-TLN CNRS UNIV-AMU JFPC09 LIS-LAB IRENAV LAMPA LCPI LABOMAP LISPEN MSMP
59 Consultations
50 Téléchargements

Partager

Gmail Facebook X LinkedIn More