Sign in | English | Terms of Use
DictionaryForumContacts

   English ⇄
Terms for subject Programming containing calculus | all forms | exact matches only
EnglishRussian
ambient calculusисчисление окружений (ssn)
brief introduction to predicate calculusкраткое введение в исчисление предикатов (ssn)
calculus of communicating systemsисчисление взаимодействующих систем (ssn)
calculus operatorоператор математического анализа (ssn)
goals, often expressed in a predicate calculusцели, часто выраженные в терминах исчисления предикатов (ssn)
icon calculusвизуальное логическое исчисление (Alex_Odeychuk)
in a predicate calculusв терминах исчисления предикатов (ssn)
predicate calculus and proving theoremsисчисление предикатов и доказательство теорем (ssn)
predicate calculus propositionsвысказывания в исчислении предикатов (ssn)
process calculusисчисление процессов (ssn)
process calculus approach to concurrencyподход к многопоточности с использованием исчисления процессов (Alex_Odeychuk)
process calculus languageязык исчисления процессов (Alex_Odeychuk)
typed lambda calculiтипизированное лямбда-исчисление (Alex_Odeychuk)
visual logical calculusвизуальное логическое исчисление (Alex_Odeychuk)

Get short URL