Now showing items 1-1 of 1

    • Theory of algorithms and computing processes 

      Shostak, I.V.; Gruzdo, I.V.; Danova, M.A.; Butenko, I.I. (KhAI, 2012)
      It is given basic means for algorithmic system development focused to solving fundamental problems of theory of algorithms namely proof of computability and resolvability. The applied problems of mathematical linguistics ...