Lyaletski, Alexander, NULES of Ukraine
-
GLOBAL AND REGIONAL PROBLEMS OF INFORMATIZATION IN SOCIETY AND NATURE USING 2020 - TECHNOLOGY OF DATA PROCESSING AND SOFTWARE DEVELOPING
Evidence Algorithm and proof search in automated reasoning systems
Abstract