Sign in | English | Terms of Use
DictionaryForumContacts

   Russian ⇄ English
Google | Forvo | +
уточнение абстракции по контрпримеруstresses
progr. counter-example guided abstraction refinement (Alex_Odeychuk); CEGAR (сокр. от "counter-example guided abstraction refinement" Alex_Odeychuk)

Add | Report an error | Get short URL | Language Selection Tips