Deduction modulo theory
Résumé
This paper is a survey on Deduction modulo theory
Domaines
Logique en informatique [cs.LO]| Origine | Fichiers produits par l'(les) auteur(s) |
|---|
Loading...
Communication Dans Un Congrès
Année : 2014
Gilles Dowek : Connectez-vous pour contacter le contributeur
https://inria.hal.science/hal-01101829
Soumis le : lundi 26 janvier 2015-18:48:22
Dernière modification le : jeudi 28 novembre 2024-14:50:02
Archivage à long terme le : lundi 27 avril 2015-10:05:26
Citer
Gilles Dowek. Deduction modulo theory. All about proofs. Proofs for all., Jul 2014, Wien, Austria. ⟨hal-01101829⟩
200
Consultations
132
Téléchargements