14173919
Results 1 to 1 of 1
Selection :
Field : une procédure de décision pour les nombres réels en Coq = Field: a decision process for the real numbers in CoqDELAHAYE, David; MAYERO, Micaela.Journées francophones des langages applicatifs. 2001, pp 33-47, isbn 2-7261-1180-7Conference Paper