СловникиФорумКонтакти

   Англійська Китайська +
Google | Forvo | +

automatic deduction in nonstandard logics

шт.інтел. 非标准逻辑中的自动演绎