|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ЦЭМИ РАН |
||
Разрешимость одно-переменных итеративных пропозициональных исчисленийдоклад на конференции
- Автор: Боков Г.В.
- Международная Конференция : Ломоносовские чтения - 2016
- Даты проведения конференции: 18-27 апреля 2016
- Дата доклада: 20 апреля 2016
- Тип доклада: Устный
- Докладчик: не указан
- Место проведения: МГУ им. М.В. Ломоносова, Russia
- Доклад на конференции выполнен в рамках проекта (проектов):
- Добавил в систему: Боков Григорий Владимирович