Communication Dans Un Congrès
Année : 2015
Nicolas Peltier : Connectez-vous pour contacter le contributeur
https://hal.science/hal-01363987
Soumis le : lundi 12 septembre 2016-11:05:59
Dernière modification le : mercredi 18 décembre 2024-10:12:50
Citer
Mnacho Echenim, Nicolas Peltier, Sophie Tourret. Quantifier-Free Equational Logic and Prime Implicate Generation. CADE-25, Jul 2015, Berlin, Germany. pp.311-325, ⟨10.1007/978-3-319-21401-6_21⟩. ⟨hal-01363987⟩
Collections
70
Consultations
0
Téléchargements