| |
Лялецький, О. В.
Евіденціальна парадигма: логічний аспект [Текст] / О. В. Лялецький
// Кибернетика и системный анализ. – 2003. – № 5. – 37-47.
Описано логічний формалізм, який є частиною так званої евіденціальної парадигми автоматизованого доведення математичних теорем |
