Електронний каталог науково-технічної бібліотеки
Вінницького національного технічного університету

автоматизація пошуку доведень

Документи:

Лялецький, О. В. Алгоритм очевидности і системи SAD: минуле та можливе майбутнє (на англ. мов.) [Текст] / О. В. Лялецький // Кібернетика та системний аналіз. – 2021. – Т. 57, № 1. – С. 12-20.
Лялецький, О. В. В.М. Глушков і автоматизація пошуку доведень теорем в Україні: алгоритм очевидності та системи САД і SAD [Текст] / О. В. Лялецький // Математичні машини і системи. – 2020. – № 4. – С. 3-10.