Sign in | English | Terms of Use
DictionaryForumContacts

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

Get short URL