[
1
]
David Delahaye and Micaela Mayero.
Field
: une procédure de décision pour les nombres réels en Coq. In
Journées Francophones des Langages Applicatifs, Pontarlier
. INRIA, Janvier 2001. [
bib
|
.ps.gz
]
This file was generated by
bibtex2html
1.91.