Wörterbücher
Forum
Kontakte

   Englisch Russisch +
Google | Forvo | +

satisfiability modulo theories problem

Betonungen
KI задача выполнимости формул в теориях (Alex_Odeychuk)