Sign in | English | Terms of Use
DictionaryForumContacts

   Russian ⇄
Terms for subject Artificial intelligence containing логическая выполнимость | all forms
RussianEnglish
выполнимость логических формулsatisfiability of logical formulas (Microsoft Alex_Odeychuk)
выполнимость логических формул в одной и более теорияхsatisfiability of logical formulas over one or more theories (Alex_Odeychuk)
выполнимость логических формул, содержащих кванторыsatisfiability of logical formulas with quantifiers (Microsoft Alex_Odeychuk)
определить выполнимость логических формулcheck satisfiability of logical formulas (Alex_Odeychuk)
проверить выполнимость логических формулcheck satisfiability of logical formulas (Alex_Odeychuk)

Get short URL