diff options
| author | herbelin | 2006-08-28 09:22:55 +0000 |
|---|---|---|
| committer | herbelin | 2006-08-28 09:22:55 +0000 |
| commit | 89135dce8b10a59fd6c50b6d1867cfc11f276b75 (patch) | |
| tree | c57c2b41dd38d86bcdd02fd4a0d08f73358b6772 /doc | |
| parent | 60d973e92c466a89410e359e4377ba5f4a7f0316 (diff) | |
Ajout thèse Cornes
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@9089 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/refman/biblio.bib | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/doc/refman/biblio.bib b/doc/refman/biblio.bib index 4a8bad4291..d16c82c5fe 100644 --- a/doc/refman/biblio.bib +++ b/doc/refman/biblio.bib @@ -296,6 +296,15 @@ s}, crossref = {Nijmegen93} } +@PHDTHESIS{Cor97, + AUTHOR = {C. Cornes}, + MONTH = nov, + SCHOOL = {{Universit\'e Paris 7}}, + TITLE = {Conception d'un langage de haut niveau de représentation de preuves}, + TYPE = {Th\`ese de Doctorat}, + YEAR = {1997} +} + @MASTERSTHESIS{Cou94a, AUTHOR = {J. Courant}, MONTH = sep, |