DictionaryForumContacts

   English
Terms for subject Automated equipment containing predicates | all forms
EnglishRussian
nonarithmetical predicateнеарифметический предикат
predicate calculus languageязык исчисления предикатов
predicate logic languageязык, основанный на логике предикатов (как функций нескольких переменных)