Конструктивний алгоритм зворотного методу для числення висловлювань
dc.contributor.author | Доценко, В. А. | |
dc.date.accessioned | 2024-04-15T07:43:25Z | |
dc.date.available | 2024-04-15T07:43:25Z | |
dc.date.issued | 2007 | |
dc.description.abstract | Розглядається загальна схема зворотного методу С.Ю. Маслова для числення висловлювань. Описано низку евристичних стратегій і правил виведення скорочення перебору. Сформульовано конструктивний алгоритм зворотного методу для числення висловлювань. | |
dc.format.pagerange | Pp. 59-73 | |
dc.identifier.citation | Доценко, В. А. Конструктивний алгоритм зворотного методу для числення висловлювань / Доценко В. А. // Системні дослідження та інформаційні технології : міжнародний науково-технічний журнал. – 2007. – № 2. – С. 59-73. – Бібліогр.: 7 назв. | |
dc.identifier.issn | 1681–6048 | |
dc.identifier.uri | https://ela.kpi.ua/handle/123456789/66160 | |
dc.language.iso | uk | |
dc.publisher | КПІ ім. Ігоря Сікорського | |
dc.publisher.place | Київ | |
dc.relation.ispartof | Системні дослідження та інформаційні технології: міжнародний науково-технічний журнал, № 2 | |
dc.subject.udc | 681:519.68 | |
dc.title | Конструктивний алгоритм зворотного методу для числення висловлювань | |
dc.type | Article |
Файли
Контейнер файлів
1 - 1 з 1
Вантажиться...
- Назва:
- 127655-272587-1-10-20180402.pdf
- Розмір:
- 354.71 KB
- Формат:
- Adobe Portable Document Format
Ліцензійна угода
1 - 1 з 1
Ескіз недоступний
- Назва:
- license.txt
- Розмір:
- 8.98 KB
- Формат:
- Item-specific license agreed upon to submission
- Опис: