Drugus, Iochim

• 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