Results 171 to 176 of about 8,823 (176)

Многопоточный обратный метод Маслова

This article introduces a novel multiprocessing methodology tailored for the Inverse Method, a critical component of Automated Theorem Provers (ATPs), aimed at optimizing theorem proving efficiency. Our approach utilizes multiple running units, each operating as a distinct prover equipped with specific heuristic options, collaborating to explore ...
openaire   +1 more source

Самодостатність як особистісна характеристика та її вплив на уявлення про шлюб

«ПСИХОЛОГІЯ СВІДОМОСТІ: ТЕОРІЯ І ПРАКТИКА НАУКОВИХ ДОСЛІДЖЕНЬ»
О. О. Долженкова
semanticscholar   +1 more source

Теория информации

2010
Печатается по решению редакционно-издательского совета Санкт-Петербургского государственного Ð¿Ð¾Ð»Ð¸Ñ‚ÐµÑ Ð½Ð¸Ñ‡ÐµÑÐºÐ¾Ð³Ð¾ университета.
openaire   +1 more source

Реалізація права на шлюб у міжнародному приватному праві: особливості та виклики

АКТУАЛЬНІ ПИТАННЯ РОЗВИТКУ ЮРИДИЧНОЇ НАУКИ В ПЕРІОД ВОЄННОГО СТАНУ
Олексій Сергійович Мельник
semanticscholar   +1 more source

ЦИФРОВІЗАЦІЯ ДЕРЖАВНОЇ РЕЄСТРАЦІЇ ШЛЮБУ В УКРАЇНІ: “ШЛЮБ ЗА ДОБУ”, ОНЛАЙН-ШЛЮБ ЧЕРЕЗ ЗАСТОСУНОК “ДІЯ”ТА ЇХ МІЖНАРОДНЕ ВИЗНАННЯ

Актуальні питання у сучасній науці
Євген Гульчук
semanticscholar   +1 more source

Здание высотного бизнес-центра с модульными фасадами

Целью работы является разработка проекта здания высотного бизнес-центра по адресу г. Санкт-Петербург, Всеволожский муниципальный р-н, кад.
openaire   +1 more source