|
ИСТИНА |
Войти в систему Регистрация |
ИПМех РАН |
||
О выразимости и полноте для дедуктивных и k-значных исчисленийдоклад на конференции
- Авторы: Боков Г.В., Кудрявцев В.Б.
- Международная Конференция : Ломоносовские чтения - 2012. Секция математики
- Даты проведения конференции: 2-9 апреля 2012
- Дата доклада: 4 апреля 2012
- Тип доклада: Устный
- Докладчик: не указан
- Место проведения: Механико-математический факультет МГУ (кафедра МАТИС), Russia
- Добавил в систему: Гасанов Эльяр Эльдарович