Sign in | English | Terms of Use
DictionaryForumContacts

   English ⇄
Terms for subject Artificial intelligence containing theorem | all forms | exact matches only
EnglishRussian
automated geometric theorem provingавтоматическое доказательство теорем геометрии (Alex_Odeychuk)
automated theorem proverсистема автоматического доказательства теорем (Microsoft Alex_Odeychuk)
automated theorem provingавтоматическое доказательство теорем (Alex_Odeychuk)
automated theorem proving systemсистема автоматического доказательства теорем (Alex_Odeychuk)
automatic theorem proverавтоматический доказатель теорем (Microsoft Alex_Odeychuk)
automatic theorem prover for satisfiability modulo theoriesавтоматический доказатель теорем о выполнимости формул в теориях (Alex_Odeychuk)
automatic theorem prover for satisfiability modulo theories problemsавтоматический доказатель теорем для задач выполнимости формул в теориях (Alex_Odeychuk)
automatic theorem prover for SMT problemsавтоматический доказатель теорем для задач выполнимости формул в теориях (SMT- сокр. от "satisfiability modulo theories" – "выполнимость формул в теориях" Alex_Odeychuk)
automatic theorem prover for SMT problemsавтоматический доказатель теорем для задач выполнимости формул в теориях
high-performance theorem proverвысокопроизводительный доказатель теорем (Microsoft Alex_Odeychuk)
interactive theorem proverинтерактивный доказатель теорем (Alex_Odeychuk)
interactive theorem provingинтерактивное доказательство теорем (Alex_Odeychuk)
interpolating theorem proverдоказатель интерполяционных теорем (Microsoft Alex_Odeychuk)
theorem proverдоказыватель теорем (Alex_Odeychuk)
theorem proverсистемой автоматического доказательства теорем (Alex_Odeychuk)
theorem proverсистема доказательства теорем (Microsoft Alex_Odeychuk)
theorem proverдоказатель теорем (Microsoft Alex_Odeychuk)
theorem provingдоказывание теорем (Alex_Odeychuk)
theorem proving languageязык программирования на основе автоматического доказательства теорем (Alex_Odeychuk)
theorem proving methodologyметодология автоматического доказательства теорем (автоматическое доказательство теорем – одно из направлений исследований и разработок в области искусственного интеллекта Alex_Odeychuk)

Get short URL