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