Результати для "UDC 004.42" Показ 1 - 24 результатів із 24 Laminas_Feed_Writer 2 (https://getlaminas.org) https://harvester.nas.gov.ua/Search/Results?sort=last_indexed+desc&limit=50&lookfor=%22UDC+004.42%22&type=Subject&lng=uk 24 0 50 Algebras of general non-deterministic predicates Thu, 12 Mar 2026 23:16:57 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-227 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-227 Nikitchenko, M.S. Стаття 2018 Nikitchenko, M.S. 0 Logical consequence relations in logics of quasiary predicates Mon, 17 Nov 2025 02:17:21 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-166 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-166 Shkilniak, O.S. Стаття 2018 Shkilniak, O.S. 0 Special relations of logical consequence in logics of quasi-ary predicates Wed, 17 Sep 2025 09:24:25 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-824 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-824 Shkilniak, S.S. Стаття 2025 Shkilniak, S.S. 0 Module-based scientific physics engine architecture Thu, 17 Jul 2025 10:07:32 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-578 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-578 Bernatovych, A.A. Стаття 2023 Bernatovych, A.A. 0 A dialogue system based on ontology automatically built through a natural language text analysis Thu, 17 Jul 2025 10:07:07 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-521 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-521 Litvin, A.A. Стаття 2023 Litvin, A.A. 0 Some aspects of software engineering for AI-based systems Thu, 17 Jul 2025 10:07:04 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-512 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-512 Liubchenko, V.V. Стаття 2023 Liubchenko, V.V. 0 Logics of general non-deterministic predicates: semantic aspects Thu, 17 Jul 2025 10:05:05 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-263 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-263 Nikitchenko, M.S. Стаття 2018 Nikitchenko, M.S. 0 Development of Web-prototype for analysis of statements in social network Twitter Thu, 17 Jul 2025 10:00:32 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-375 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-375 Glybovets, A.M. Стаття 2019 Glybovets, A.M. 0 Deviant truth-values algebras and deviant classes of general non-deterministic predicates 14 Software environment and tools Thu, 17 Jul 2025 10:00:22 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-345 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-345 Shkilniak, O.S. Стаття 2019 Shkilniak, O.S. 0 Pure first-order logics of quasiary predicates Thu, 17 Jul 2025 09:59:23 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-182 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-182 Nikitchenko, M.S. Стаття 2018 Nikitchenko, M.S. 0 Propositional logics of partial predicates with composition of predicate complement Thu, 17 Jul 2025 09:55:43 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-344 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-344 Nikitchenko, M.S. Стаття 2019 Nikitchenko, M.S. 0 Composition nominative modal logics of partial non-monotone predicates and their calculi Thu, 17 Jul 2025 09:55:34 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-317 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-317 Shkilniak, O.S. Стаття 2018 Shkilniak, O.S. 0 Spectrum of sequential number pershopordinal compositional-nominative logics Thu, 17 Jul 2025 09:53:42 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-750 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-750 Shkilnyak, S.S. Стаття 2025 Shkilnyak, S.S. 0 First-order logics with partial predicates for checking variable definedness Thu, 17 Jul 2025 09:53:05 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-671 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-671 Shkilniak, S.S. Стаття 2025 Shkilniak, S.S. 0 First-order composition-nominative logics with predicates of weak equality and of strong equality Thu, 17 Jul 2025 09:50:25 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-365 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-365 Shkilniak, S.S. Стаття 2019 Shkilniak, S.S. 0 Pure first-order quasiary logics with equality predicates Thu, 17 Jul 2025 09:50:08 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-316 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-316 Nikitchenko, M.S. Стаття 2018 Nikitchenko, M.S. 0 Сoordinated description of algorithms within the framework of algebraic vehicle Thu, 17 Jul 2025 09:47:49 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-690 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-690 Akulovskiy, V.G. Стаття 2025 Akulovskiy, V.G. 0 Relations of logical consequence in logics of partial predicates with composition of predicate complement Thu, 17 Jul 2025 09:45:18 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-364 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-364 Shkilniak, O.S. Стаття 2019 Shkilniak, O.S. 0 Composition-nominative logics of free-quantifier levels Thu, 17 Jul 2025 09:44:03 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-180 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-180 Shkilniak, S.S. Стаття 2018 Shkilniak, S.S. 0 Algebra for the description of data in the composite schemes of algorithms Thu, 17 Jul 2025 09:43:09 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-75 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-75 Akulovskiy, V.G. Стаття 2015 Akulovskiy, V.G. 0 First-order composition-nominative logics with generalized renominations Thu, 17 Jul 2025 09:42:41 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-689 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-689 Nikitchenko, M.S. Стаття 2025 Nikitchenko, M.S. 0 Semantic properties of five-valued logics Thu, 17 Jul 2025 09:39:05 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-230 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-230 Nikitchenko, M.S. Стаття 2018 Nikitchenko, M.S. 0 Logical consequence relations in logics of monotone predicates and logics of antitone predicates Thu, 17 Jul 2025 09:39:01 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-219 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-219 Shkilniak, O.S. Стаття 2018 Shkilniak, O.S. 0 Sequent calculi of first-order logics of partial predicates with extended renominations and composition of predicate complement Thu, 17 Jul 2025 09:34:58 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-410 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-410 Nikitchenko, M.S. Стаття 2020 Nikitchenko, M.S. 0