Proceedings/Recueil Des Communications
EPiC Series in Computing
Année : 2012
Daniel Le Berre : Connectez-vous pour contacter le contributeur
https://univ-artois.hal.science/hal-04266993
Soumis le : mercredi 1 novembre 2023-09:07:12
Dernière modification le : jeudi 2 novembre 2023-03:34:48
Dates et versions
Identifiants
- HAL Id : hal-04266993 , version 1
Citer
Daniel Le Berre. POS-10. Pragmatics of SAT. EPiC Series in Computing, 8, 2012. ⟨hal-04266993⟩
Collections
11
Consultations
0
Téléchargements