Результати для "consequences" Показ 1 - 21 результатів із 21 Laminas_Feed_Writer 2 (https://getlaminas.org) https://harvester.nas.gov.ua/Search/Results?sort=last_indexed+desc&limit=50&lookfor=%22consequences%22&type=Subject&lng=uk 21 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 The problem of flooding and analysis of the ways of its solution Thu, 17 Jul 2025 11:19:07 +0000 https://harvester.nas.gov.ua/Record/es-journalinua-article-285048 https://harvester.nas.gov.ua/Record/es-journalinua-article-285048 Petrochenko, Oleksiy V. Стаття 2023 Petrochenko, Oleksiy V. 0 Аssessment and prediction of flood risks in river basins Thu, 17 Jul 2025 11:17:58 +0000 https://harvester.nas.gov.ua/Record/es-journalinua-article-199700 https://harvester.nas.gov.ua/Record/es-journalinua-article-199700 Petrochenko, Oleksiy V. Стаття 2020 Petrochenko, Oleksiy V. 0 Аnalysis of natural disasters and their impact on the environment Thu, 17 Jul 2025 11:17:56 +0000 https://harvester.nas.gov.ua/Record/es-journalinua-article-192506 https://harvester.nas.gov.ua/Record/es-journalinua-article-192506 Azarov, Sergii I. Стаття 2019 Azarov, Sergii I. 0 From new geological paradigm to the problems of regional geological-geophysical survey Thu, 17 Jul 2025 11:09:59 +0000 https://harvester.nas.gov.ua/Record/journalsuranua-geofizicheskiy-article-140610 https://harvester.nas.gov.ua/Record/journalsuranua-geofizicheskiy-article-140610 Lukin, A. Стаття 2018 Lukin, A. 0 A model of control for counteracting against information attacks in cyberspace Thu, 17 Jul 2025 10:58:24 +0000 https://harvester.nas.gov.ua/Record/drspiprikievua-article-239242 https://harvester.nas.gov.ua/Record/drspiprikievua-article-239242 Шиян, А. А. Стаття 2021 Шиян, А. А. 0 Minimization of Risks During the Liquidation of Emergencies Consequences Thu, 17 Jul 2025 10:56:05 +0000 https://harvester.nas.gov.ua/Record/drspiprikievua-article-103432 https://harvester.nas.gov.ua/Record/drspiprikievua-article-103432 Shtukin, M. V. Стаття 2013 Shtukin, M. 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 First-order sequent calculi of logics of quasiary predicates with extended renominations and equality Thu, 17 Jul 2025 10:01:33 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-502 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-502 Shkilniak, О.S. Стаття 2023 Shkilniak, О.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 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 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 Modal logics of partial quasiary pradicates with equality and sequent calculi of this logics Thu, 17 Jul 2025 09:41:58 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-615 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-615 Shkilniak, О.S. Стаття 2024 Shkilniak, О.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