Article Dans Une Revue
Archive of Formal Proofs
Année : 2016
Nicolas Peltier : Connectez-vous pour contacter le contributeur
https://hal.science/hal-01364005
Soumis le : lundi 12 septembre 2016-11:17:30
Dernière modification le : lundi 16 décembre 2024-15:37:25
Dates et versions
Identifiants
- HAL Id : hal-01364005 , version 1
Citer
Nicolas Peltier. Propositional Resolution and Prime Implicates Generation. Archive of Formal Proofs, 2016, 2016. ⟨hal-01364005⟩
Collections
75
Consultations
0
Téléchargements