Communication Dans Un Congrès
Année : 2009
Dominique Larchey-Wendling : Connectez-vous pour contacter le contributeur
https://hal.science/hal-00607777
Soumis le : lundi 11 juillet 2011-11:29:27
Dernière modification le : vendredi 24 mars 2023-14:52:54
Dates et versions
Identifiants
- HAL Id : hal-00607777 , version 1
Citer
Dominique Larchey-Wendling. Labelled Tableaux for Proofs and Models in BI logics. Automated Deduction Day, Jul 2009, Vandoeuvre-lès-Nancy, France. ⟨hal-00607777⟩
Collections
61
Consultations
0
Téléchargements