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

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

Тип публикации: Материал конференции

Тип материала: Текст

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

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

Язык публикации: russian

Номера страниц: 116-124

Количество страниц: 9

Год публикации: 2001

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

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

Адрес издателя: Новосибирск

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

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

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

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

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

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