Результати для "UDC 004.2" Показ 1 - 5 результатів із 5 Laminas_Feed_Writer 2 (https://getlaminas.org) https://harvester.nas.gov.ua/Search/Results?sort=last_indexed+desc&limit=50&lookfor=%22UDC+004.2%22&type=Subject&lng=uk 5 0 50 Partial evaluation in insertion modeling system Wed, 17 Sep 2025 09:22:29 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-784 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-784 Peschanenko, V.S. Стаття 2025 Peschanenko, V.S. 0 Development of formal models, algorithms, procedures, engineering and functioning of the software system “Instrumental complex for ontological engineering purpose” Thu, 17 Jul 2025 10:08:38 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-715 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-715 Palagin, O.V. Стаття 2025 Palagin, O.V. 0 Use of methods of algebraic programming for the formal verification of legal acts Thu, 17 Jul 2025 09:59:53 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-272 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-272 Peschanenko, V.S. Стаття 2018 Peschanenko, V.S. 0 About development of an ontological toolkit Thu, 17 Jul 2025 09:53:54 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-82 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-82 Palagin, A.V. Стаття 2015 Palagin, A.V. 0 Information technology for the development and analysis of models of subject areas for their study Thu, 17 Jul 2025 09:37:52 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-86 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-86 Lyubchenko, V.V. Стаття 2015 Lyubchenko, V.V. 0