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