Development of formal models, algorithms, procedures, engineering and functioning of the software system “Instrumental complex for ontological engineering purpose” за авторством Palagin, O.V., Petrenko, M.G., Velychko, V.Yu., Malakhov, K.S.

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

Partial evaluation in insertion modeling system за авторством Peschanenko, V.S.

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

About development of an ontological toolkit за авторством Palagin, A.V., Petrenko, N.G., Velichko, V.Yu., Malakhov, K.C., Tikhonov, Yu.L.

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

Information technology for the development and analysis of models of subject areas for their study за авторством Lyubchenko, V.V.

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

Use of methods of algebraic programming for the formal verification of legal acts за авторством Peschanenko, V.S., Poltoratskiy, M.

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