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