|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ИНХС РАН |
||
Методы автоматизации логического вывода и их применение в управлении динамическими и интеллектуальными системамистатья
Статья опубликована в журнале из списка RSCI Web of Science
Статья опубликована в журнале из перечня ВАКСтатья опубликована в журнале из списка Web of Science и/или Scopus
Дата последнего поиска статьи во внешних источниках: 3 ноября 2021 г.
- Авторы: Васильев С.Н., Пономарев Г.М.
- Журнал: Труды Института математики и механики УрО РАН
- Том: 17
- Номер: 2
- Год издания: 2011
- Издательство: Ин-т математики и механики
- Местоположение издательства: Екатеринбург
- Первая страница: 35
- Последняя страница: 52
- Добавил в систему: Васильев Станислав Николаевич