DictionnaireLe forumContacts

   Anglais Russe +
Google | Forvo | +

logic-based program synthesis and transformation

contraintes
progr. проектирование и перепроектирование логических программ (Alex_Odeychuk)