root.skip-to-content
English
Українська
Увійти
Email
Пароль
Увійти
Новий користувач? Зареєструйтесь.
Забули пароль?
Фонди та зібрання
Пошук за критеріями
English
Українська
Увійти
Email
Пароль
Увійти
Новий користувач? Зареєструйтесь.
Забули пароль?
Головна
Наукова періодика
Системні дослідження та інформаційні технології: міжнародний науково-технічний журнал
2007
Системні дослідження та інформаційні технології: міжнародний науково-технічний журнал, № 2
Переглянути за ключовими словами
Системні дослідження та інформаційні технології: міжнародний науково-технічний журнал, № 2
Постійне посилання зібрання
https://ela.kpi.ua/handle/123456789/66094
Переглянути
Нові надходження
За датою
За автором
За назвою
За темою
Нові надходження
За датою
За автором
За назвою
За темою
Перегляд Системні дослідження та інформаційні технології: міжнародний науково-технічний журнал, № 2 за Ключові слова "681:519.68"
Перейти
browse.back.all-results
Зараз показуємо
1 - 1 з 1
Результатів на сторінці
1
5
10
20
40
60
80
100
Налаштування сортування
У порядку збільшення
У порядку зменшення
Вантажиться...
Документ
Відкритий доступ
Конструктивний алгоритм зворотного методу для числення висловлювань
(
КПІ ім. Ігоря Сікорського
,
2007
)
Доценко, В. А.
Показати більше
Розглядається загальна схема зворотного методу С.Ю. Маслова для числення висловлювань. Описано низку евристичних стратегій і правил виведення скорочення перебору. Сформульовано конструктивний алгоритм зворотного методу для числення висловлювань.
Показати більше