|
ИСТИНА |
Войти в систему Регистрация |
Интеллектуальная Система Тематического Исследования НАукометрических данных |
||
Сложность проблемы выполнимости для одного языка с функциональными булевыми переменнымистатья
- Автор: Федорова В.С.
- Сборник: Материалы VI молодежной научной школы по дискретной математике и ее приложениям (Москва, 16-21 апреля 2007 г.)
- Том: 3
- Год издания: 2007
- Место издания: Изд-во ИПМ РАН Москва
- Первая страница: 17
- Последняя страница: 23
- Добавил в систему: Федорова Валентина Сергеевна