Lyaletski, Alexander, NULES of Ukraine
-
ГЛОБАЛЬНІ ТА РЕГІОНАЛЬНІ ПРОБЛЕМИ ІНФОРМАТИЗАЦІЇ В СУСПІЛЬСТВІ І ПРИРОДОКОРИСТУВАННІ ’2020 - ТЕХНОЛОГІЇ ОБРОБКИ ДАНИХ ТА РОЗРОБКИ ПРОГРАМНИХ СИСТЕМ
Evidence Algorithm and proof search in automated reasoning systems
Тези доповіді PDF