Страница публикации
О результатах исследования метода автоматического доказательства позитивно-образованных формул
Авторы: Ларионов А.А., Черкашин Е.А., Давыдов А.В., Хасанов Т.М., Терехин И.Н.
Журнал: Материалы 4-ой Всерос. мультиконф. по проблемам управления “Искусств. интеллект и управление (ИИУ-2011)” (Дивноморское, 3–8 октября 2011 г.)
Том:
Номер:
Год: 2011
Отчётный год: 2011
Издательство:
Местоположение издательства: Таганрог
URL:
Аннотация:
Индексируется WOS: 0
Индексируется Scopus: 0
Индексируется РИНЦ: 0
Публикация в печати: 0
Добавил в систему: