17945

Автор(ы): 

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

Автор(ов): 

1

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

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

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

Название: 

Автоматизация решения некоторого класса вычислительных задач

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

  • 10-я международная научно-техническая мультиконференция «Актуальные проблемы информационно-компьютерных технологий, мехатроники и робототехники» (ИКТМР-2009, Таганрог)

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

  • Материалы 10-й Международной научно-технической мультиконференции «Актуальные проблемы информационно-компьютерных технологий, мехатроники и робототехники» (ИКТМР-2009, Таганрог)

Город: 

  • Таганрог

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

  • Изд-во ТТИ ЮФУ

Год издания: 

2009

Страницы: 

294
Аннотация
Рассматриваются вычислительные задачи типа «ДАНО-ТРЕБУЕТСЯ» с использованием конструктивного фрагмента логики позитивно-образованных формул.

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

Суконнова А.А. Автоматизация решения некоторого класса вычислительных задач / Материалы 10-й Международной научно-технической мультиконференции «Актуальные проблемы информационно-компьютерных технологий, мехатроники и робототехники» (ИКТМР-2009, Таганрог). Таганрог: Изд-во ТТИ ЮФУ, 2009. С. 294.