SłownikiForumKontakt

   Angielski Rosyjski
Google | Forvo | +
satisfiability of logical formulas over one or more theoriesakcenty
sztuczn. выполнимость логических формул в одной и более теориях (Alex_Odeychuk)