|
ИСТИНА |
Войти в систему Регистрация |
ФНКЦ РР |
||
Об интерпретации логики рекурсивной реализуемости в классической арифметике с модальностямидоклад на конференции
- Автор: Сыркин Геннадий Иосифович
- Международная Конференция : XI международная конференция «Интеллектуальные системы и компьютерные науки»
- Даты проведения конференции: 28 ноября - 2 декабря 2016
- Дата доклада: 30 ноября 2016
- Тип доклада: Устный
- Докладчик: Сыркин Геннадий Иосифович
- Место проведения: Механико-математический факультет МГУ им.М.В.Ломоносова., Russia
- Добавил в систему: Сыркин Геннадий Иосифович