DictionaryForumContacts

   English Russian +
Google | Forvo | +

automated theorem proving system

stresses
AI. система автоматического доказательства теорем (Alex_Odeychuk)