@inproceedings{field,
author = {Delahaye, David and Mayero, Micaela},
title = {{\tt Field}: une proc\'edure de d\'ecision pour les nombres
r\'eels en {C}oq},
booktitle = {{J}ourn\'ees {F}rancophones des {L}angages {A}pplicatifs,
Pontarlier},
publisher = {INRIA},
month = {Janvier},
year = {2001},
http = {http://www-lipn.univ-paris13.fr/~mayero/publis/field.ps.gz}
}
This file was generated by bibtex2html 1.91.