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

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

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

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

Том:

Номер:

Год: 2001

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

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

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

URL:

Проекты:

DOI:

Аннотация:

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

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

Индексируется УБС: Нет

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

Индексируется ВАК: Нет

Индексируется CORE: Нет

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