CĂRȚI ÎN UCRAINEANĂ ÎN LEGĂTURĂ CU «УНІФІКАТОР»
Descoperă întrebuințarea
уніфікатор în următoarea selecție bibliografică. Cărți în legătură cu
уніфікатор și extrase din aceasta pentru a furniza contextul de întrebuințare al acestuia în literatura Ucraineană.
Передвижной унификатор, смонтированный на основе обыкновенного транспортера, работал шумно, с гулом и лязгом, над ним дрожал столб разогретого воздуха. Тела подносили по одному, опускали на уходящую в агрегат ...
2
Машины баз данных и знаний: - Сторінка 31
Подстановка 6 называется унификатором для ^1 и Ъг, если /16 = ^26; ^1 и 12 унифицируемы, если для 1\ и 1г существует унификатор. Унификатор 0 называется наибольшим общим унификатором (НОУ) тогда и только тогда, ...
Леонид Андреевич Калиниченко, Владимир Михайлович Рывкин,
1990
Центральный Гаржимский унификатор, находящийся на окраине, благополучно пережил дни боев. Унификационные агрегаты сохранились, уцелела система управления, и даже в стенах не оказалось проломов. Внутри все ...
4
Супервизорное управление манипуляционными роботами
Простейшим является такой унификатор л, что если ^ — какой- нибудь унификатор для {#(}, дающий {#<Ь, то последовательность подстановки л, и некоторой всегда существующей подстановки | приведет к тому же результату, ...
Феликс Михайлович Кулаков,
1980
5
Дедукция и обобщение в системах принятия решений: Проблемы ...
Унификатор о* для множества выражений {И7!, \У2, . . ., \Ук) называется наиболее общим унификатором (НОУ) тогда и только тогда, когда для каждого унификатора 0 для этого множества выражений найдется подстановка К ...
Вадим Николаевич Вагин,
1988
6
Записки научных семинаров ПОМИ
Найти наиболее общий унификатор для (^1 д . . .^„д . . .) и • • -<п,1 - • • )• • Если <тдг существует и удовлетворяет вернуть (егдг, ^^К^) иначе вернуть Очевидно, что итоговая подстановка А является наиболее общим унификатором, ...
Математический институт им. В.А. Стеклова. С.-Петербургское отделение,
2002
7
Орфографический словарь современного русского языка. 100 ...
-арий, -я унитарйст, -а унитарйстский унитарный унификатор, -а унификаторский унификация, -и, мн. нет унифбрма, -ы униформйст, -а уничижать, —аю, -ает уничижаться, -äюсь, -ается уничижёние, -я уничижительный; кр. ф.
8
Teorii︠a︡ grafov: algoritmy obrabotki derevʹev - Сторінка 201
5.2.3. Унификация как решение множества уравнений. Формула вида $-*, где 5, I е 742), называется уравнением (равенством), множество решений которого состоит из всех унификаторов термов я и I. Унификатором множества ...
Vladimir Anatolʹevich Evstigneev, Viktor Nikolaevich Kasʹi︠a︡nov, Вадим Евгеньевич Котов,
1994
В отсутствие всякойсистемы самообозначения, внутренней дляполясамих художественных практик, внешний унификатор «постмодернизм» как охватывающий их все обрел такую рельефность, которой модерн никогда не имел.