25781

Автор(ы): 

Смирнова Н. В. (ИПУ РАН, Лаборатория 17) НЕАКТУАЛЬНАЯ ЗАПИСЬ

Автор(ов): 

1

Параметры публикации

Тип публикации: 

Тезисы доклада

Название: 

К АВТОМАТИЗИРОВАННОЙ ПРОВЕРКЕ РЕШЕНИЙ В СЛЕДЯЩИХ ИНТЕЛЛЕКТУАЛЬНЫХ ОБУЧАЮЩИХ СИСТЕМАХ

Наименование конференции: 

  • Международная научно-практическая конференция «Информационные технологии и информационная безопасность в науке, технике и образовании» (ИНФОТЕХ-2013, Севастополь)

Наименование источника: 

  • Материалы международной научно-технической конференции «Информационные технологии и информационная безопасность в науке, технике и образовании «ИНФОТЕХ - 2013» (Севастополь)

Город: 

  • Севастополь

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

  • СевНТУ

Год издания: 

2013

Страницы: 

107-108

Библиографическая ссылка: 

Смирнова Н.В. К АВТОМАТИЗИРОВАННОЙ ПРОВЕРКЕ РЕШЕНИЙ В СЛЕДЯЩИХ ИНТЕЛЛЕКТУАЛЬНЫХ ОБУЧАЮЩИХ СИСТЕМАХ / Материалы международной научно-технической конференции «Информационные технологии и информационная безопасность в науке, технике и образовании «ИНФОТЕХ - 2013» (Севастополь). Севастополь: СевНТУ, 2013. С. 107-108.