Sign in | English | Terms of Use
DictionaryForumContacts

   Russian ⇄
Terms containing система естественного вывода | all forms | in specified order only
SubjectRussianEnglish
progr.доказательства в системе естественного выводаnatural deduction system proofs (ssn)
progr.построение доказательств в системе естественного выводаdeveloping natural deduction system proofs (ssn)
progr.система естественного выводаnatural deduction system (ssn)
progr.увеличение гибкости системы естественного выводаadding flexibility to the natural deduction system (ssn)

Get short URL