Communication Dans Un Congrès
Année : 2005
Evelyne Contejean : Connectez-vous pour contacter le contributeur
https://inria.hal.science/hal-00946061
Soumis le : jeudi 13 février 2014-13:38:11
Dernière modification le : jeudi 4 avril 2024-21:00:23
Citer
Évelyne Contejean, Pierre Corbineau. Reflecting Proofs in First-Order Logic with Equality. 20th International Conference on Automated Deduction (CADE-20), 2005, Tallinn, Estonia. pp.7--22, ⟨10.1007/11532231_2⟩. ⟨hal-00946061⟩
171
Consultations
0
Téléchargements