Зведений каталог бібліотек Харкова
Лялецкий, А. В. Эвиденциальная парадигма: логический аспект. [Текст] / А.В. Лялецкий // Кибернетика и системный анализ. — 2003. — С.37 - 47.
- Анотація:
Описано логічний формалізм, який є частиною так званої евіденціальної парадигми автоматизованного доведення математичних теорем, запропонованої В.М.Глушковим у вигляді комплексної програми робіт "Алгоритм Очевидності".
- Є складовою частиною документа:
Кибернетика и системный анализ [Текст] // Кибернетика и системный анализ ; Институт кибернетики им. В.М. Глушкова НАН Украины - К. : Ин-т кибернетики им. В.М. Глушкова. — 2003.
