|
ИСТИНА |
Войти в систему Регистрация |
ФНКЦ РР |
||
Вывод инвариантов программ с использованием антиунификациитезисы доклада
- Автор: Захаров В.А.
- Сборник: Материалы 4-ой международной конференции по прикладной логике
- Тезисы
- Год издания: 1995
- Место издания: Иркутский государственный университет Иркутск
- Первая страница: 33
- Последняя страница: 34
- Добавил в систему: Захаров Владимир Анатольевич