Електронний каталог науково-технічної бібліотеки
Вінницького національного технічного університету
алгоритм очевидности
Документи:
- Алгоритм очевидности и обработка формализованных математических текстов [Текст] / В. П. Вершинин, А. И. Дегтярев, А. В. Лялецкий [et al.] // Проблемы управления и информатики. – 2002. – № 5. – 80-95.
- Летичевский, А. А. Алгоритм Очевидности Глушкова [Текст] / А. А. Летичевский, А. В. Лялецкий, М. К. Мороховец // Кибернетика и системный анализ. – 2013. – Т. 49, № 4. – С. 3-16.
- Параллельный поиск вывода в логическом исчислении на основе системы алгебраического программирования [Текст] / А. А. Литичевский, В. Н. Герман, М. К. Мороховец, Н. Н. Щеголева // Кибернетика и системный анализ. – 2010. – Т. 46, № 4. – С. 169-180.
- Лялецький, О. В. Алгоритм очевидности і системи SAD: минуле та можливе майбутнє (на англ. мов.) [Текст] / О. В. Лялецький // Кібернетика та системний аналіз. – 2021. – Т. 57, № 1. – С. 12-20.
- Лялецький, О. В. В.М. Глушков і автоматизація пошуку доведень теорем в Україні: алгоритм очевидності та системи САД і SAD [Текст] / О. В. Лялецький // Математичні машини і системи. – 2020. – № 4. – С. 3-10.
|
