SłownikiForumKontakt

   Angielski +
Google | Forvo | +

automatic theorem proving

techn. 机械证明定理
technol. 自动定理证明