Lyaletski, Alexander, NULES of Ukraine

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