Une version concurrente de la procédure de Davis et Putnam
Résumé
no abstract
Article Dans Une Revue
Revue des Sciences et Technologies de l'Information - Série RIA : Revue d'Intelligence Artificielle
Année : 1996
William Domingues Vinhas : Connectez-vous pour contacter le contributeur
https://amu.hal.science/hal-01479608
Soumis le : mardi 28 février 2017-20:40:15
Dernière modification le : mardi 5 décembre 2023-18:08:07
Dates et versions
Identifiants
- HAL Id : hal-01479608 , version 1
Citer
Richard Génisson, Belaïd Benhamou, Antoine Rauzy. Une version concurrente de la procédure de Davis et Putnam. Revue des Sciences et Technologies de l'Information - Série RIA : Revue d'Intelligence Artificielle, 1996, 10, pp.499-507. ⟨hal-01479608⟩
84
Consultations
0
Téléchargements