Sign in | English | Terms of Use
DictionaryForumContacts

   Russian ⇄ English
Google | Forvo | +
to phrases
индукция на деревьях вывода типовstresses
progr. induction on derivation trees (ssn); induction on typing derivations (ssn)
индукция на деревьях вывода типов: 2 phrases in 1 subject
Programming2

Add | Report an error | Get short URL | Language Selection Tips