Sign in | English | Terms of Use
DictionaryForumContacts

   Russian ⇄
Terms for subject Programming containing дедуктивная | all forms | exact matches only
RussianEnglish
введение в дедуктивные доказательстваintroduction to deductive proofs (ssn)
дедуктивная верификацияdeductive verification (Alex_Odeychuk)
дедуктивная верификация программных системdeductive software verification (Alex_Odeychuk)
дедуктивное моделированиеdeductive simulation (ssn)
дедуктивные доказательстваdeductive proofs (ssn)
дедуктивные рассуждения дедуктивный выводdeductive reasoning (метод, используемый в языке Prolog для нахождения решения по заданным фактам и правилам ssn)
дедуктивный поиск информацииdeductive information retrieval (ssn)
дедуктивный синтез программdeductive program synthesis (ssn)
программа дедуктивного моделирования неисправностейdeductive simulator (ssn)
статическая дедуктивная верификацияstatic deductive verification (Alex_Odeychuk)
язык запросов к дедуктивным базам данныхquery language for deductive databases (Alex_Odeychuk)

Get short URL