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

automatic deduction
.בינה	automatische Deduktion; automatisches Ableiten
.טכנול	mechanische Beweisführung

automatic deduction : 1 צירופים, 1 נושאים

כללי

1