DictionnaireLe forumContacts

   Anglais Langues chinoises +
Google | Forvo | +

automatic deduction in nonstandard logics

intell. 非标准逻辑中的自动演绎