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

deducción automática
.טכנול	automatic deduction; mechanical theorem proving