Sign in | English | Terms of Use
DictionaryForumContacts

   Russian ⇄
Terms containing С-исчисление | all forms | in specified order only
SubjectRussianEnglish
nautic.доска с изображением компаса для исчисления курсаtraverse board
math.исчисление высказываний с тождествомSCI (sequential calculus with identity)
math.исчисление предикатов с несколькими сортами переменныхseveral-sorted predicate calculus
math.исчисление предикатов с обобщениемpredicate calculus with generalization
math.исчисление предикатов с переменными нескольких видовseveral-sorted predicate calculus
math.исчисление предикатов с равенствомpredicate calculus with identity
gen.исчисление "с головы"capitation
math.исчисление с несколькими видами переменныхmany-sorted calculus
econ.по сравнению с предыдущим годом, в годовом исчисленииYoY (year-on-year gconnell)
progr.подход к многопоточности с использованием исчисления процессовprocess calculus approach to concurrency (Alex_Odeychuk)
ITС-исчислениеC-calculus

Get short URL