Страница публикации
Автоматическое построение математических моделей: новое приложение систем автоматического доказательства теорем
Авторы: Бычков И.В., Васильев С.Н., Черкашин Е.А., Черкашин А.К.
Журнал: Труды конф., посвященной 90-летию со дня рождения А.А. Ляпунова (Новосибирск)
Том:
Номер:
Год: 2001
Отчётный год: 2001
Издательство:
Местоположение издательства: Новосибирск
URL:
Аннотация:
Индексируется WOS: 0
Индексируется Scopus: 0
Индексируется РИНЦ: 0
Публикация в печати: 0
Добавил в систему: