Lyaletski, A. V. Evidence algorithm and sad systems: Past and possible future [Текст] / A. V. Lyaletski> // Кибернетика и системный анализ : міжнародний науково-теоретичний журнал. - 2021. - № 1. - С. 12-20. - Бібліогр. в кінці ст. . - ISSN 0023-1274 Кл.слова (ненормовані): Алгоритм Очевидності -- система SAD -- автоматизація міркувань -- автоматизація пошуку доведень теорем -- прувер Є примірники у відділах: всього 1 : ГП ЧЗ (1) Вільні: ГП ЧЗ (1) |
Лялецький, О. В. В. М. Глушков і автоматизація пошуку доведень теорем в Україні: алгоритм очевидності та системи сад і SAD [Текст] / О. В. Лялецький> // Математичні машини і системи = Mathematical machines and systems = Математические машины и системы : науковий журнал. - 2020. - N 4. - С. 3-10. - Бібліогр. в кінці ст. . - ISSN 1028-9763 Кл.слова (ненормовані): алгоритм очевидності -- автоматизація пошуку доведень теорем -- формальна природна мова -- секвенційний формалізм -- резолюційний метод -- дедукція Є примірники у відділах: всього 1 : ГП ЧЗ (1) Вільні: ГП ЧЗ (1) |