DictionaryForumContacts

   English
Terms for subject Artificial intelligence containing K | all forms | exact matches only
EnglishRussian
k-SATзадача выполнимости булевых формул в k-конъюнктивной нормальной форме (Alex_Odeychuk)