Sign in | English | Terms of Use
DictionaryForumContacts

   English ⇄
Terms for subject Artificial intelligence containing logical | all forms | exact matches only
EnglishRussian
based on logical inferenceна основе машины логического вывода (Alex_Odeychuk)
built-in logical theoryвстроенная логическая теория (Alex_Odeychuk)
check satisfiability of logical formulasпроверить выполнимость логических формул (Alex_Odeychuk)
check satisfiability of logical formulasопределить выполнимость логических формул (Alex_Odeychuk)
logic inputлогический ввод (igisheva)
logical inferenceлогический вывод из фактов (подтверждающий суждение Alex_Odeychuk)
perform logical inferenceвыполнять логический вывод (Alex_Odeychuk)
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)

Get short URL