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