Sign in | English | Terms of Use
DictionaryForumContacts

   English ⇄
Terms for subject Programming containing unification | all forms | exact matches only
EnglishRussian
algorithm for unificationалгоритм унификации (ssn)
E-unificationсемантическая унификация (сокр. от "equational unification" Alex_Odeychuk)
equational unificationсемантическая унификация (Alex_Odeychuk)
explicit unificationявная унификация (Alex_Odeychuk)
first-order syntactical unificationсинтаксическая унификация первого порядка (Alex_Odeychuk)
first-order unificationунификация первого порядка (Alex_Odeychuk)
great unificationзамечательная унификация (ssn)
higher-order unificationунификация высшего порядка (Alex_Odeychuk)
international unificationмеждународная унификация (ssn)
international unification of equipment and programming languages for use in the controls industryмеждународная унификация оборудования и языков программирования, предназначенных для использования в индустрии средств управления (ssn)
pattern unificationунификация по образцу (Alex_Odeychuk)
runtime unificationунификация среды выполнения (для разных программно-аппаратных платформ Alex_Odeychuk)
semantical unificationсемантическая унификация (Alex_Odeychuk)
syntactic first-order unification problemзадача синтаксической унификации первого порядка (Alex_Odeychuk)
syntactical unificationсинтаксическая унификация (Alex_Odeychuk)
these specifications are intended to promote international unification of equipment and programming languages for use in the controls industryэти спецификации должны содействовать международной унификации оборудования и языков программирования, предназначенных для использования в индустрии средств управления
unification expressionвыражение унификации (University of Melbourne, Австралия Alex_Odeychuk)
unification modulo theoryсемантическая унификация (Alex_Odeychuk)
unification parallelismпараллелизм при выполнении операции унификации (ssn)

Get short URL