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

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

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

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

Том:

Номер:

Год: 2011

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

Издательство:

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

URL:

Аннотация:

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

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

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

Публикация в печати: 0

Добавил в систему: