Страница публикации

Автоматическое построение математических моделей: новое приложение систем автоматического доказательства теорем

Авторы: Бычков И.В., Васильев С.Н., Черкашин Е.А., Черкашин А.К.

Журнал: Труды конф., посвященной 90-летию со дня рождения А.А. Ляпунова (Новосибирск)

Том:

Номер:

Год: 2001

Отчётный год: 2001

Издательство:

Местоположение издательства: Новосибирск

URL:

Аннотация:

Индексируется WOS: 0

Индексируется Scopus: 0

Индексируется РИНЦ: 0

Публикация в печати: 0

Добавил в систему: