Детали автора

Пользователь

Уведомления

Язык

Содержимое научной конференции Поиск
Информация научной конференции

Листать

Размер шрифта

Научная конференция проводится при поддержке:

УГАТУ

Евразийский НОЦ

MOBR

СКФУ

UNIIT

Институт Биохимии и Генетики

TU DRESDEN

KIT

Научная конференция проводится при поддержке издательств:

Atlantis Press

Сборники трудов научной конференции индексируются:

scienceindex

Информация

Детали автора

Грибова, Валерия Викторовна, ИАПУ ДВО РАН Владивосток, Россия

Информационные технологии интеллектуальной поддержки принятия решений 2019 - Том 1. Системный анализ и математические методы принятия решений
Декларативно-компонентный подход к разработке интерактивной системы верификации математических доказательств
Аннотация PDF

Creative Commons License

This work is licensed under a Creative Commons Attribution 3.0 License.