DictionnaireLe forumContacts

   Anglais Russe +
Google | Forvo | +

many-sorted logic with parametric polymorphism

contraintes
progr. многосортная логика с параметрическим полиморфизмом (University of Melbourne, Австралия Alex_Odeychuk)