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