Přejít k obsahu


Eliminace kvantifikátorů v elementární teorii reálně uzavřených těles: pozoruhodná historie, aktuální součastnost

Citace: [] HORA, J. Eliminace kvantifikátorů v elementární teorii reálně uzavřených těles: pozoruhodná historie, aktuální součastnost. In Matematika v proměnách věků. III. Praha: Výzkumné centrum pro dějiny vědy, 2004. s. 56-68. ISBN: 80-7285-040-7
Druh: STAŤ VE SBORNÍKU
Jazyk publikace: cze
Anglický název: Quantifier elimination for elementary theory of real closed fields: remarkable history, present contemporaneity
Rok vydání: 2004
Místo konání: Praha
Název zdroje: Výzkumné centrum pro dějiny vědy
Autoři: Jaroslav Hora
Klíčová slova

Zpět

Patička