Sign in | English | Terms of Use
DictionaryForumContacts

   Russian ⇄
Terms for subject Programming containing исчисление предикатов | all forms | exact matches only | in specified order only
RussianEnglish
в терминах исчисления предикатовin a predicate calculus (ssn)
высказывания в исчислении предикатовpredicate calculus propositions (ssn)
исчисление предикатов и доказательство теоремpredicate calculus and proving theorems (ssn)
краткое введение в исчисление предикатовbrief introduction to predicate calculus (ssn)
цели, часто выраженные в терминах исчисления предикатовgoals, often expressed in a predicate calculus (ssn)

Get short URL