Roy, Marie-Françoise (1950-....)
Elimination des quantificateurs versus dix-septième problème de Hilbert /
Marie-Françoise Roy
- P. 191-211
Bibliogr. p. 209-211
Benis Sinaceur, Hourya (1940-....)
Hilbert, David (1862-1943)
بنيس سيناصر، حورية (1940-....)
MATHEMATIQUES
GEOMETRIE
ALGEBRE
FONCTION RATIONNELLE QUANTIFICATEUR
516.35