SłownikiForumKontakt

   Angielski Chiński +
Google | Forvo | +

automatic deduction in nonstandard logics

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