DictionaryForumContacts

   English
Terms for subject Artificial intelligence containing verification | all forms | exact matches only
EnglishRussian
automated verification and proof description languageязык описания логических систем для автоматического поиска доказательств (Alex_Odeychuk)