Englisch ⇄ Russisch +

SMT problem Betonungen
KI	задача выполнимости формул в теориях (сокр. от "satisfiability modulo theories problem" Alex_Odeychuk)

SMT problems : 3 Phrasen in 1 Thematik

Künstliche Intelligenz

3