| RUS ENG |
| Полная версия |
|
|
|
| СЕМИНАРЫ |
|
Рабочий семинар по математической логике
|
|||
|
|
|||
|
Верифицированное вычисление асимптотик вещественных функций — 2 В. А. Нестеров Московский физико-технический институт (национальный исследовательский университет), Московская облаcть, г. Долгопрудный |
|||
|
Аннотация: См. аннотацию на странице первого доклада. |
|||