Model of the "department" ecosystem за авторством Kryvyi, S.L., Grinenko, O.O.

Отримати повний текст

Development and substantiation of algorithms based on semantic properties за авторством Kryvyi, S.L., Maksymets, O.M.

Отримати повний текст

Verification of programs: status, problems and experimental results. II за авторством Maksymets, A.N.

Отримати повний текст

Verification of programs: status, problems and experimental results. I за авторством Maksymets, A.N.

Отримати повний текст

Formal-logical approach to building analysis systems of knowledge in different domains за авторством Palagin, O.V., Kryvyi, S.L., Bibikov, D.S., Velychko, V.Yu., Markov, K., Ivanova, K., Mitov, I.

Отримати повний текст