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 : jeudi 4 avril 2024-21:09:46
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
66
Consultations
0
Téléchargements