Communication Dans Un Congrès
Année : 2009
Nicolas Peltier : Connectez-vous pour contacter le contributeur
https://hal.science/hal-00940671
Soumis le : dimanche 2 février 2014-13:54:26
Dernière modification le : jeudi 4 avril 2024-21:39:53
Citer
Vincent Aravantinos, Ricardo Caferra, Nicolas Peltier. A Schemata Calculus for Propositional Logic. Automated Reasoning with Analytic Tableaux and Related Methods, 18th International Conference, TABLEAUX 2009, 2009, Oslo, Norway. pp.32-46, ⟨10.1007/978-3-642-02716-1_4⟩. ⟨hal-00940671⟩
90
Consultations
0
Téléchargements