diff options
Diffstat (limited to 'doc/refman/biblio.bib')
| -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, |