Theorem Proving for Conditional Logics: CondLean and GoalDUCK
Résumé
no abstract
Article Dans Une Revue
Journal of Applied Non-Classical Logics
Année : 2008
William Domingues Vinhas : Connectez-vous pour contacter le contributeur
https://amu.hal.science/hal-01479566
Soumis le : mardi 28 février 2017-20:39:22
Dernière modification le : mardi 5 décembre 2023-18:08:07
Dates et versions
Identifiants
- HAL Id : hal-01479566 , version 1
Citer
Nicola Olivetti, G. L. Pozzato. Theorem Proving for Conditional Logics: CondLean and GoalDUCK. Journal of Applied Non-Classical Logics, 2008, 18 (4), pp.427--473. ⟨hal-01479566⟩
33
Consultations
0
Téléchargements