|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ИНХС РАН |
||
Automation Methods for Logical Derivation and their Application in the Control of Dynamic and Intelligent Systemsстатья
Информация о цитировании статьи получена из
Web of Science,
Scopus
Статья опубликована в журнале из перечня ВАК
Статья опубликована в журнале из списка Web of Science и/или Scopus
Дата последнего поиска статьи во внешних источниках: 18 марта 2016 г.
- Авторы: Vassilyev S.N., Ponomarev G.M.
- Журнал: Proceedings of the Steklov Institute of Mathematics
- Том: 276
- Номер: 1
- Год издания: 2012
- Издательство: Springer Verlag
- Местоположение издательства: Germany
- Первая страница: S161
- Последняя страница: S179
- Добавил в систему: Васильев Станислав Николаевич