|
ИСТИНА |
Войти в систему Регистрация |
ФНКЦ РР |
||
Об одном обобщении подстановки применительно к вычислению инвариантов программстатья
- Авторы: Захаров В.А., Костылев Е.В.
- Сборник: Труды Третьей Всероссийской конференции «Методы и средства обработки информации», Москва, 2009
- Год издания: 2009
- Место издания: Москва
- Первая страница: 123
- Последняя страница: 130
- Добавил в систему: Захаров Владимир Анатольевич