Sign in | English | Terms of Use
DictionaryForumContacts

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

Get short URL