SłownikiForumKontakt

   Angielski +
Google | Forvo | +

automatic deduction

technol. démonstrateur de théorèmes; démonstration automatique de théorèmes