DictionnaireLe forumContacts

Google | Forvo | +

many-sorted first-order logic

contraintes
logiq. многосортная логика первого порядка (Alex_Odeychuk)

Ajouter | Signaler une erreur | Obtenir une URL courte