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