|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ЦЭМИ РАН |
||
Primitive recursive realizability and the predicate logicдоклад на конференции
- Авторы: Plisko V., Park B.H., Viter D.
- Международная Конференция (Конгресс) : 12th International Congress of Logic, Methodology and Philosophy of Science (Oviedo, Spain)
- Даты проведения конференции: 7-13 августа 2003
- Дата доклада: 11 августа 2003
- Тип доклада: Стендовый
- Докладчик: не указан
- Место проведения: Овьедо, Spain
- Добавил в систему: Плиско Валерий Егорович