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