Sign in | English | Terms of Use
DictionaryForumContacts

   Russian ⇄
Terms for subject Artificial intelligence containing общее доказательство | all forms
RussianEnglish
система автоматического доказательства теорем общего назначенияgeneric proof assistant (Alex_Odeychuk)

Get short URL