Communication Dans Un Congrès
Année : 1994
Jean Goubault-Larrecq : Connectez-vous pour contacter le contributeur
https://inria.hal.science/hal-03242969
Soumis le : lundi 31 mai 2021-13:08:27
Dernière modification le : lundi 31 mai 2021-13:08:27
Citer
Jean Goubault, Joachim Posegga. BDDs and automated deduction. International Symposium on Methodologies for Intelligent Systems, Oct 1994, Charlotte, United States. pp.541-550, ⟨10.1007/3-540-58495-1_54⟩. ⟨hal-03242969⟩
3
Consultations
0
Téléchargements