Sign in | English | Terms of Use
DictionaryForumContacts
Terms containing proof assistant | all forms | in specified order only
SubjectEnglishRussian
AI.generic proof assistantсистема автоматического доказательства теорем общего назначения (Alex_Odeychuk)
AI.proof assistantсистема автоматического доказательства теорем (theatlantic.com Alex_Odeychuk)
AI.proof assistantдоказыватель теорем (Alex_Odeychuk)

Get short URL