Англійська ⇄ Іспанська Італійська Грецька Данська Китайська Нідерландська Німецька Португальська Французька Фінська Шведська +

mechanical theorem proving
IT	αυτόματο συμπέρασμα; μηχανική απόδειξη θεωρημάτων