Sign in | English | Terms of Use
DictionaryForumContacts

   Russian ⇄
Terms for subject Programming containing в доказательство | all forms
RussianEnglish
введение в дедуктивные доказательстваintroduction to deductive proofs (ssn)
доказательства в системе естественного выводаnatural deduction system proofs (ssn)
доказательство правильности в терминах инвариантов цикловproof of correctness in terms of loop invariants (ssn)
построение доказательств в системе естественного выводаdeveloping natural deduction system proofs (ssn)

Get short URL