אנגלית ⇄ אוקראינית איטלקית גרמנית דנית הולנדית יוונית סינית ספרדית פורטוגלית פינית צרפתית שוודית +

automatic deduction
.טכנול	démonstrateur de théorèmes; démonstration automatique de théorèmes