|
ИСТИНА |
Войти в систему Регистрация |
ФНКЦ РР |
||
Быстрые алгоритмы антиунификации и их применение при анализе программстатья
- Авторы: Захаров В.А., Костылев Е.В.
- Сборник: Материалы XIII Международной школы-семинара «Синтез и сложность управляющих систем"
- Год издания: 2002
- Место издания: Пенза
- Первая страница: 76
- Последняя страница: 81
- Добавил в систему: Захаров Владимир Анатольевич