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

Применение SAT-подхода к анализу одного класса моделей конформного поведения

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

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

Авторы: Кочемазов С.Е., Фисенко Д.Л.

Журнал: Тез. докл. IV Всерос. конф. “Матем. моделирование и вычисл.-информ. технологии в междисциплинарных научных исследованиях” (Иркутск, 30 июня – 4 июля 2014 г.)

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

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

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

Издательство: РИО ИДСТУ СО РАН

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

Адрес издателя: Иркутск

Название издательства: РИО ИДСТУ СО РАН

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

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

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

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

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

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