|
ИСТИНА |
Войти в систему Регистрация |
ФНКЦ РР |
||
Общие методы построения разрешающих алгоритмов эквивалентности пропозициональных операторных программстатья
- Автор: Захаров В.А.
- Сборник: Труды IV Международной конференции "Дискретные модели в теории управляющих систем"
- Год издания: 2000
- Место издания: МАКС-Пресс Москва
- Первая страница: 25
- Последняя страница: 29
- Добавил в систему: Захаров Владимир Анатольевич