Особливості застосування конструктивного алгоритму зворотного методу для секвенційного числення предикатів
Досліджені області застосування конструктивного алгоритму зворотного методу, здійснена оцінка доцільності застосування конструктивного алгоритму зворотного методу, виходячи з поставлених задач. Проведена оцінка складності побудови початкової множини сприятливих наборів. Розглянуто приклади застос...
Збережено в:
Видавець: | Інститут проблем штучного інтелекту МОН України та НАН України |
---|---|
Дата: | 2008 |
Автор: | Доценко, В.А. |
Формат: | Стаття |
Мова: | Ukrainian |
Опубліковано: |
Інститут проблем штучного інтелекту МОН України та НАН України
2008
|
Теми: | |
Онлайн доступ: | http://dspace.nbuv.gov.ua/handle/123456789/7136 |
Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
Цитувати: | Особливості застосування конструктивного алгоритму зворотного методу для секвенційного числення предикатів / В.А. Доценко // Штучний інтелект. — 2008. — № 3. — С. 655-662. — Бібліогр.: 11 назв. — укр. |
Репозиторії
Digital Library of Periodicals of National Academy of Sciences of UkraineСхожі ресурси
-
Підвищення ефективності паралельного розв’язання лінійної задачі Коші на основі методу рекурсивного множення матриць
за авторством: Назарова, І.А.
Опубліковано: (2008) -
Автоматический метод оперативного построения абстракций при верификации формальных моделей асинхронных систем
за авторством: Колчин, А.В.
Опубліковано: (2008) -
Преобразование программ из исходного представления в целевое представление на основе описаний проекций языка исходного представления на язык целевого представления
за авторством: Князева, М.А., та інші
Опубліковано: (2008) -
Интерпретатор методов потокового анализа программ в специализированном банке знаний о преобразованиях программ
за авторством: Князева, М.А., та інші
Опубліковано: (2008) -
Архитектура семейства реконфигурируемых вычислительных систем на основе ПЛИС
за авторством: Каляев, И.А., та інші
Опубліковано: (2008)