Повернутися до подробиць випуску
В.М. Глушков і автоматизація пошуку доведень теорем в Україні: алгоритм очевидності та системи SAD
Завантажити
Завантажити PDF