DictionaryForumContacts

   Russian
Terms for subject Programming containing конечное вычисление | all forms | in specified order only
RussianEnglish
алгоритмы вычисления множества достижимых состояний для систем с конечным числом состоянийalgorithms for computing the set of reachable states of a finite-state system (ssn)
вычисление конечных типов выраженийcomputing result types of expressions (ssn)
конечное вычислениеfinite computation (ssn)
конечное пространство вычисленийfinite computation space (ssn)
метафункции для вычисления конечных типов выраженийmetafunctions for computing result types of expressions (ssn)