Theorem Proving for Conditional Logics: CondLean and GoalDUCK
Résumé
no abstract
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