Se connecter | French | Conditions d'utilisation
DictionnaireLe forumContacts

   Russe ⇄ Anglais
Google | Forvo | +
phrases
выполнимость формул в теорияхcontraintes
intell. SMT (сокр. от "satisfiability modulo theories" Alex_Odeychuk)
выполнимость в теориях: 32 phrases, 2 sujets
Intelligence artificielle30
Programmation2

Ajouter | Signaler une erreur | Obtenir une URL courte | Conseils pour la sélection de la langue