Sign in | English | Terms of Use
DictionaryForumContacts

   Russian ⇄
Terms containing естественный вывод | all forms | in specified order only
SubjectRussianEnglish
progr.доказательства в системе естественного выводаnatural deduction system proofs (ssn)
math.естественный выводnatural deduction
rhetor.естественный выводnatural conclusion (Alex_Odeychuk)
ling.естественный выводcommosense inference
math.естественный выводnatural inference
comp.естественный выводcommon-sense inference
ling.компьютерное моделирование естественного выводаcomputer modeling of natural language reasoning
ling.компьютерное моделирование естественного выводаcomputer modelling of natural language reasoning
Makarov.он сделал естественный выводhe drew the obvious inference
progr.построение доказательств в системе естественного выводаdeveloping natural deduction system proofs (ssn)
progr.система естественного выводаnatural deduction system (ssn)
progr.увеличение гибкости системы естественного выводаadding flexibility to the natural deduction system (ssn)

Get short URL