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

mechanical theorem proving
.טכנול	automatisch bewijzen van theorema's