Communication Dans Un Congrès
Année : 1994
Jean Goubault-Larrecq : Connectez-vous pour contacter le contributeur
https://inria.hal.science/hal-03242184
Soumis le : dimanche 30 mai 2021-15:26:26
Dernière modification le : dimanche 30 mai 2021-15:26:26
Citer
Jean Goubault. Proving with BDDs and control of information. Automated Deduction - CADE-12, 12th International Conference on Automated Deduction, Jun 1994, Nancy, France. pp.499-513, ⟨10.1007/3-540-58156-1_36⟩. ⟨hal-03242184⟩
11
Consultations
0
Téléchargements