Terms for subject Programming containing исчисление

Russian	English
в терминах исчисления предикатов	in a predicate calculus (ssn)
визуальное логическое исчисление	icon calculus (Alex_Odeychuk)
визуальное логическое исчисление	visual logical calculus (Alex_Odeychuk)
высказывания в исчислении предикатов	predicate calculus propositions (ssn)
исчисление взаимодействующих систем	calculus of communicating systems (ssn)
исчисление окружений	ambient calculus (ssn)
исчисление предикатов и доказательство теорем	predicate calculus and proving theorems (ssn)
исчисление процессов	process calculus (ssn)
краткое введение в исчисление предикатов	brief introduction to predicate calculus (ssn)
подход к многопоточности с использованием исчисления процессов	process calculus approach to concurrency (Alex_Odeychuk)
система исчисления затрат на основе анализа хозяйственной деятельности	activity-based costing system (ssn)
типизированное лямбда-исчисление	typed lambda calculi (Alex_Odeychuk)
цели, часто выраженные в терминах исчисления предикатов	goals, often expressed in a predicate calculus (ssn)
язык исчисления процессов	process calculus language (Alex_Odeychuk)