DictionnaireLe forumContacts

   Anglais Russe +
Google | Forvo | +

formal system of axioms and inference rules

contraintes
progr. формальная система аксиом и правил вывода (ssn)