| Chapter title:
|
Eliminace kvantifikátorů v elementární teorii reálně uzavřených těles: pozoruhodná historie, aktuální současnost (Czech) |
| Chapter title:
|
Quantifier elimination in the elementary theory of real closed field: remarkable history, current state (English) |
| Author:
|
Hora, Jaroslav |
| Language:
|
Czech |
| Monograph:
|
Matematika v proměnách věků. III |
| ISBN:
|
80-7285-040-7 |
| Year:
|
2004 |
| Publisher:
|
Výzkumné centrum pro dějiny vědy |
| Place:
|
Praha |
| Pages:
|
56-68 |
| . |
| Category:
|
math |
| . |
| . |
| Date available:
|
2011-08-19T12:08:49Z |
| Stable URL:
|
http://hdl.handle.net/10338.dmlcz/401595 |
| . |
