|
 
|
[DEL01] Conception de langages pour décrire les preuves et les automatisations dans les outils d'aide à la preuve: une étude dans le cadre du système Coq
Mémoire de Thèse : Soutenue le: 01 January 2001, : Conception de langages pour décrire les preuves et les automatisations dans les outils d'aide à la preuve: une étude dans le cadre du système Coq,
motcle:
Résumé:
resume
Commentaires:
note
BibTeX
| @phdthesis { | |||
| DEL01, | |||
| title | = | "{Conception de langages pour décrire les preuves et les automatisations dans les outils d'aide à la preuve: une étude dans le cadre du système Coq}", | |
| author | = | "D. Delahaye", | |
| year | = | 2001, | |
| address | = | "{CEDRIC Laboratory, Paris, France}", | |
| note | = | "{note}", | |
| } |
