|
ИСТИНА |
Войти в систему Регистрация |
Интеллектуальная Система Тематического Исследования НАукометрических данных |
||
Применение операции антиунификации подстановок для проверки логико-термальной эквивалентности последовательных программстатья
- Автор: Новикова Т.А.
- Журнал: Математика и прикладная математика. Исследования студентов, магистрантов и выпускников. - Астана
- Год издания: 2011
- Первая страница: 205
- Последняя страница: 228
- Добавил в систему: Новикова Татьяна Анатольевна