|
ИСТИНА |
Войти в систему Регистрация |
Интеллектуальная Система Тематического Исследования НАукометрических данных |
||
First St. Petersburg Days of Logic and ComputabilityКонференция
- Охват: Международная
- Даты проведения: 26-29 мая 1999
- Место проведения: Санкт-Петербург, Russia
-
Организатор:
Санкт-Петербургское отделение Математического института им. В. А. Стеклова РАН - Добавил в систему: Плиско Валерий Егорович
Доклады:
- 1999 $\Sigma_n$-realizability and its predicate logic (Устный)
- Автор: Plisko V.E.