|
 
|
[DM01] Field: une procédure de décision pour les nombres réels en Coq
Conférence Nationale avec comité de lecture : Journées Francophones des Langages Applicatifs (JFLA), Pontarlier (France), January 2001,
motcle:
BibTeX
| @inproceedings { | |||
| DM01, | |||
| title | = | "{Field: une procédure de décision pour les nombres réels en Coq}", | |
| author | = | " D. Delahaye and M. Mayero ", | |
| booktitle | = | "{Journées Francophones des Langages Applicatifs (JFLA), Pontarlier (France)}", | |
| year | = | 2001, | |
| month | = | "January", | |
| } | |||
