Sign in | English | Terms of Use
DictionaryForumContacts

   English ⇄
Terms containing Theorem Proving System | all forms | in specified order only
SubjectEnglishRussian
AI.automated theorem proving systemсистема автоматического доказательства теорем (Alex_Odeychuk)
math.theorem-proving systemсистема доказательства теоремы

Get short URL