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

О результатах исследования метода автоматического доказательства позитивно-образованных формул

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

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

Авторы: Ларионов А.А., Черкашин Е.А., Давыдов А.В., Хасанов Т.М., Терехин И.Н.

Журнал: Материалы 4-ой Всерос. мультиконф. по проблемам управления “Искусств. интеллект и управление (ИИУ-2011)” (Дивноморское, 3–8 октября 2011 г.)

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

Номера страниц: 30–32

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

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

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

Местоположение издательства: Таганрог

Адрес издателя: Таганрог

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

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

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

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

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

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