Год: 2018

Автор: Клещев А. С., Тимченко В. А.

Импакт-фактор издания по РИНЦ:

Тип публикации: Материалы / тезисы конференций

Страна, город, издательство: Москва, РКП

Импакт-фактор издания:

Название издания: Шестнадцатая национальная конференция по искусственному интеллекту с международным участием КИИ-2018 (24-27 сентября 2018 г., г. Москва, Россия). Труды конференции. В 2-х томах.

Выходные данные: Т. 2

Аннотация:

ISSN / ISBN:

Библиографическое описание: Клещев А.С., Тимченко В.А. Концепция оболочки для интерактивных систем верификации интуитивных математических доказательств // Шестнадцатая национальная конференция по искусственному интеллекту с международным участием КИИ-2018 (24-27 сентября 2018 г., г. Москва, Россия). Труды конференции. В 2-х томах. – М.: РКП, 2018. Т. 2. С. 114-122.

Файлы: