Deduction and theorem proving modulo
Résumé
Cours sur la Deduction Modulo
Communication Dans Un Congrès
Année : 1999
Publications Loria : Connectez-vous pour contacter le contributeur
https://inria.hal.science/inria-00098921
Soumis le : mardi 26 septembre 2006-08:40:18
Dernière modification le : jeudi 15 février 2024-03:32:30
Dates et versions
Identifiants
- HAL Id : inria-00098921 , version 1
Citer
Claude Kirchner. Deduction and theorem proving modulo. School of logic & computation, May 1999, Edinburgh, United Kingdom. ⟨inria-00098921⟩
Collections
40
Consultations
0
Téléchargements