Sign in | English | Terms of Use
DictionaryForumContacts

   English ⇄
Terms for subject Artificial intelligence containing Comp | all forms
EnglishRussian
SMT-COMPсоревнование решателей задач выполнимости формул в теориях (сокр. от "SMT competition" Alex_Odeychuk)

Get short URL