BDDs and automated deduction - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 1994

BDDs and automated deduction

Dates et versions

hal-03242969 , version 1 (31-05-2021)

Identifiants

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

Altmetric

Partager

Gmail Facebook X LinkedIn More